"); $thefile = file_get_contents("category_do_name_$bulletin.htm"); print($thefile); ?>