<!--

function menuOn(imgE1)
{
imgE1.src=imgE1.src.replace(".gif", "_on.gif");
}
function menuOut(imgE1)
{
imgE1.src=imgE1.src.replace("_on.gif", ".gif");
}

// -->