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