function menu_onover( text ) {
	var hint_element = document.getElementById("menu_hint");
	if( hint_element != null ) {
		var textnode = hint_element.childNodes[0];
		if( textnode != null ) {
			hint_element.removeChild( textnode );
			textnode = document.createTextNode( text );
			hint_element.appendChild( textnode );
		}
	}
}