######################################################################
sub print_document_header {
######################################################################
    my $cgi = shift @_; 
    print $cgi->header( -type => 'text/html' ), "\n";
}