HEADER_TEXT(< jQuery( function() { jQuery("#output_problem_body").prepend('
TOP SECRET
'); }); EOF