function open_submenu(id) {
	var elemenu = document.getElementById(id);
	elemenu.style.visibility = 'visible';
}

function keep_submenu_open() { // must be added to window.onload event
	document.getElementById('submenu').firstElementChild.onmouseover = function() {document.getElementById('submenu').style.visibility = 'visible';}
}