function $(id)
{
    return document.getElementById(id);
}

function X() {};

X.over = function(i)
{
    X.reset();
    $('nav' + i).style.backgroundColor = '#a07171';
}

X.reset = function()
{
    for (i=1; i<=5; i++)
    {
        $('nav'+i).style.backgroundColor = '#000';
    }
}