// JavaScript Document function header(base_href) { document.write('

\n'); }