/*Index*/
function addindex()
{
	var output = document.getElementById("index");
	//output.innerHTML = ("<A HREF='cavallinipp.html'><span class='indexbutton'>Home</span></A>");
	output.innerHTML = ("<A HREF='program.html'><span class='indexbutton'>Programs</span></A>");
	output.innerHTML += ("<A HREF='link.html'><span class='indexbutton'>Links</span></A>");
	output.innerHTML += ("<A HREF='about.html'><span class='indexbutton'>About</span></A>");
	output.innerHTML += ("<A HREF='visitor.html'><span class='indexbutton'>Visitor</span></A>");

}