function check_browser()
{
if (document.getElementsByTagName)
	{
	var middle	= document.getElementById("middle")
	var	menu 	= document.getElementById("menu")
		
	//Resize
	a=middle.scrollHeight
	b=menu.scrollHeight
	
	if (a<b){middle.style.height=b+"px"}
	}
else
	{location.href="old_browser.asp"} 
}