// funzioni di gestione del ridimensionamento della pagina
function window_onresize() {
	winResize();
}
function window_onload(curRef) {
	buildMenu(curRef);
	window_onresize();
}