var a;
var b = new Array();
function displaySub(that) {
	document.getElementById(that).style.display = 'block';
	clearTimeout(a);
	clearTimeout(b[that]);
	a = setTimeout("hideSub('"+that+"');",5000);
}

function hideSub(that) {
	UserAgent = navigator.userAgent;
	if (UserAgent.indexOf("Opera") == -1) {
		document.getElementById(that).style.display = 'none';	
	} else {
		clearTimeout(b[that]);
		b[that] = setTimeout("operaSub('"+that+"');",1000);
	}
}
function operaSub(that) {
	document.getElementById(that).style.display = 'none';	
}
