// JavaScript Document

function openWin(location , window_name, width, height) {
	var status = "history=0, status=1, location=0, menubar=0, toolbar=0, scrollbars=1, resizable=1, width=" + width + ",height=" + height;
	window.open( location , window_name , status );	
}

function nothing() {};


function setHeight() 
{
 var today = new Date();
 var the_date = new Date("December 31, 2023");
 var the_cookie_date = the_date.toGMTString();
 var the_cookie = "screenHeight=" + screen.height;
 var the_cookie = the_cookie + ";expires=" + the_cookie_date;
 document.cookie=the_cookie;
}