print $cgi->header();