function header(menu) { document.write ( ' \n'); document.write ( ' \n'); document.write ( ' \n'); document.write ( ' \n'); } function Leftmenu() { document.write ( ' \n'); document.write ( ' \n'); document.write ( ' \n'); document.write ( ' \n'); }