var dom = ( (navigator.userAgent.indexOf("Opera") == -1) && (document.getElementById) ) ? true : false

//animation of menu
var tm
var active = false

function setVis(n,show) {
	document.getElementById('menu'+n).style.backgroundColor = (show) ? '#ffffcc' : '#225555';
	active = (show) ? n : false
}

function show(n) { if (dom) {
	if (active && active != n ) setVis(active,false)
	clearTimeout(tm)
	setVis(n,true)
} }



function hide(n) { if (dom) {
	clearTimeout(tm)
	tm = setTimeout('setVis('+n+',false)',10)
} }