function setred(imgName, i)
{
	if(document.images)
	{
		document[imgName].src=menuimageR[i].src;
	}
}
function setblack(imgName, i)
{
	if(document.images)
	{
		document[imgName].src=menuimageB[i].src;
	}
}
function hidemail(name1,name2,ext)
{
	document.write('<a href=\"');
	document.write('&#x6d;&#00097;&#105;&#x6c;&#x74;&#x6f;&#x3a;');
	document.write(name1);
	if(name2!="")
		document.write('.');
	document.write(name2);
	document.write('&#64;');
	document.write(ext);
	if(ext!="")
		document.write('.');
	document.write('epfl');
	document.write('.');
	document.write('ch');
	document.write('?subject=[PolyProg]\">');
	document.write(name1);
	if(name2!="")
		document.write('.');
	document.write(name2);
	document.write('&#64;');
	document.write(ext);
	if(ext!="")
		document.write('.');
	document.write('epfl');
	document.write('.');
	document.write('ch');
	document.write('</a>');
}