function heightOpera(){
	if (navigator.userAgent.toLowerCase().indexOf("opera") != -1 && document.body.scrollHeight == document.body.clientHeight)
		document.getElementById("top_div").style.height = window.innerHeight;
}