var oTimer = '';
	var c_menu = '';
	var delay = 250;
	
	function example() {
	}
	
	function menu(id) {
		if(c_menu == id) return false;
		if(c_menu != '') menu_close(c_menu);
		menu_open(id);
	}
	
	function menu_open(id) {
		var menu = document.getElementById(id);
		menu.style.display = 'block';
		c_menu = id;
	}
	
	function menuhide(id) {
		oTimer = setTimeout("menu_close('" + id + "')", delay);
	}
	
	function menuhold() {
		clearTimeout(oTimer);
	}
	
	function menu_close(id) {
		document.getElementById(id).style.display = 'none';
		if(c_menu == id) c_menu = '';
	}
	
	function go_to(id) {
		document.location = id;
	}