<!--
function setSize(width,height) {
	//if (window.outerWidth) {
	//	window.outerWidth = width;
	//	window.outerHeight = height;
	//}else (window.resizeTo) {
	//	window.resizeTo(width,height);
	//}
}
// use javascript:setSize(800,600)
//-->