// JavaScript Document
function chill(a)
{
var i;
if (document.all)
for (i=0; i<3; i++)
{
if (i!=a)
eval("document.all.menu" + i + ".style.color='#999999'");
else
eval("document.all.menu" + i + ".style.color='#333333'");
}
}