function changeWindowSize() {
	width = 1100;
	height = 860;
	window.resizeTo(width, height);
}