function w800600() {
	window.resizeTo(800,600);
}

function w1024768() {
	window.resizeTo(1024,768);
}

function wfull() {
	window.resizeTo(window.screen.availWidth,window.screen.availHeight);
}