function scalebody() {
var arrScale = new Array ()
	arrScale[0] 	= new Array ("active_screen_menu","height","nopic",323,404,539)
	arrScale[1] 	= new Array ("active_screen_menu","width","nopic",162,210,285) // 2 pix mindre end logisk for å gi plads til border
	arrScale[2] 	= new Array ("active_screen_main","width","nopic",534,684,913) 
//	arrScale[3] 	= new Array ("slideimg","height","nopic",316,405,540)
//	arrScale[4] 	= new Array ("slideimg","width","nopic",534,684,913)
for (i=0;i<arrScale.length;i++) {
	eval("document.getElementById(\"" + arrScale[i][0] + "\").style." + arrScale[i][1] + " = \"" + arrScale[i][resval()+3] + "px\"");
}
}