// JavaScript Document
function URLTest()
{
	//do nothing for now
}

function doctitle(s)
{
	document.title=s;
}

function writeCookie()
{
	var onedate = new Date();
	var today = onedate.getTime();
	var nextDay=today+86400000;
	var the_date = new Date(nextDay);
	var the_cookie_date = the_date.toGMTString();
	var the_cookie = "users_resolution="+ screen.width +"x"+ screen.height;
	var the_cookie = the_cookie + ";expires=" + the_cookie_date;
	document.cookie=the_cookie;
}