var menunum = 0;
var	menus = new Array();
var body_menunum = 0;
var	body_menus = new Array();
var _d = window.document;

function Init_HeaderMenu(){
	var oMenu = window.document.getElementById('menu1');
	oMenu.style.left = 770 - oMenu.offsetWidth;
}

function add_headermenu(){
	menunum++;
	menus[menunum]=menu;
}
function add_bodymenu(){
	body_menunum ++;
	body_menus[ body_menunum ] = menu;
}
function header_dumpmenus(){
	var mt="<script language=javascript>";
	for(var a=1;a<menus.length;a++){
		mt+=" menu"+a+"=menus["+a+"];"
	}
	mt+="<\/script>";
	_d.write(mt);
}