function newWindow(contentsURL, winName, winProps, width, height)
{
	if (!winName) var winName = "_blank";
	
	if (!winProps) var winProps = "menubar=0,toolbar=0,resizable=0,location=0,status=0,scrollbars=1";
	
	if (!width) var w = 600; 
	else w = width;
	if (!height) var h = 400;
	else h = height;

	var x = 40; y = 80;
	var args = "width=" + w + ",height=" + h
	+ "," + winProps
	+ ",screenx=" + x + ",screeny=" + y
	+ ",left=" + x + ",top=" + y;
	
	window.open(contentsURL, winName, args);
}

function change_location(url)
{
	top.location.href = url;
}