// JavaScript Document

function resize()
{
	var windowHeight=0;
	if (typeof(window.innerHeight)=='number') 
	{
		windowHeight=window.innerHeight;
	}
	else 
	{
		
		if (document.documentElement && document.documentElement.clientHeight) 
		{
			windowHeight=
			document.documentElement.clientHeight;
		}
		else 
		{
			if (document.body&&document.body.clientHeight) 
			{
				windowHeight=document.body.clientHeight;
			}
		}
	}

FinalResize( windowHeight);
}


function FinalResize(size)
{
 	var divheight = document.getElementById("frame1");
	var newh = size - 286;  //100 for the height of the div, and some slack for the borders.
	var final = newh + "px"; //change the number to the a string

	divheight.style.height = final; //change the div height to the appropriate height.	
}

//Vividology's yo...


function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}