/* resize.js by Damon Bonesi, 26.07.08
   riposta la finestra principale del browser sempre alla stesa misura */
   
function resize() {
	//top.window.resizeTo(720,670);
    }