function Highlight(objon)
{
oldsrc=objon.src;
if(objon.name==titpag.value) return;
else objon.src="images/on"+objon.name+".gif";
}

function UnHighlight(obj)
{
obj.src=oldsrc;
}

buttons=new Array();buttons_onclick=new Array();
n=0;
n++;buttons[n]="home";buttons_onclick[n]="index.html";
n++;buttons[n]="chisono";buttons_onclick[n]="chisono.html";
n++;buttons[n]="portfolio";buttons_onclick[n]="portfolio.html";
n++;buttons[n]="contatti";buttons_onclick[n]="contatti.html";

document.write("\n");
for(i=1;i<=n;i++) 
{
if(buttons[i]==titpag.value) suff="§";
else suff="";
document.write("<input type=\"image\" name=\""+buttons[i]+"\" src=\"images/"+suff+buttons[i]+".gif\" onmouseover=\"Highlight(this)\" onmouseout=\"UnHighlight(this)\" onclick=\"document.location.href='"+buttons_onclick[i]+"'\"><br>");
}