var x;
function mov(x)
{
document.getElementById(x).src ="pictures/"+x+"_purple_nav.gif";
}
function mot(x)
{
document.getElementById(x).src ="pictures/"+x+"_blue_nav.gif";
}