\n"); print ("".format_comment($body)."

"); ?>