// JavaScript Document
function page_onload() {
	menu_init('menu');
}