// Top Navigation

var Timeout;
var HoverT1;

function t1over(menu) {
	if(Timeout) clearTimeout(Timeout);
	if(HoverT1 == menu) return;
	HoverT1 = menu;
	t1hide();
	if(document.getElementById('t1m-' + menu)) {
		document.getElementById('t1m-' + menu).style.display = 'block';
	}
}

function t1out(menu) {
	Timeout = setTimeout('t1hide();', 500);
}
