function setWindowSize() {
var screen_width = screen.width;
var screen_height = screen.height;
	var this_doc = document.getElementById('pagebody');
	var win_width = this_doc.offsetWidth;
	if(win_width > 800) {
		var new_height = (screen_width > 960) ? 720 : 600;
		window.resizeTo(800, new_height);
		if(screen_width > 800) {
			var left_edge = screen_width/2 - 400;
			window.moveTo(left_edge, 8);
		}
	}
}