for (i=1; i<pulsanti.length; i++) {

if (pulsanti[i]!="") {

if (pulsanti[i]==pagina) {

document.write(
"<a href='/"
+
collegamenti[i]
+
"' onmouseover='document.images.img"
+
i
+
".src=_"
+
i
+
"c.src' onmouseout='document.images.img"
+
i
+
".src=_"
+
i
+
"b.src'> <img src='/img/menu/"
+
i
+
"b.png' alt='"
+
pulsanti[i]
+
"' name='img"
+
i
+
"'/></a>"
);

}

else {
	

document.write(
"<a href='/"
+
collegamenti[i]
+
"' onmouseover='document.images.img"
+
i
+
".src=_"
+
i
+
"c.src' onmouseout='document.images.img"
+
i
+
".src=_"
+
i
+
"a.src'> <img src='/img/menu/"
+
i
+
"a.png' alt='"
+
pulsanti[i]
+
"' name='img"
+
i
+
"'/></a>"
);

}
}
}