function js_winmax () {
	window.moveTo (0, 0)
	window.resizeTo (screen.width, screen.height - 28)
}