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