<!--


function maximize(x, y){
	window.resizeTo(x, y);
	window.moveTo(screen.availLeft, screen.availTop);
}


//-->