function NavRollover(imgName)
{
    if (document.images)
    {
        document.getElementById('nav').src = eval(imgName + '.src');
    }
}

function NavRollout()
{
    if (document.images)
    {
        document.getElementById('nav').src = headerNormal.src;
    }
}