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