changeColor = function(id)
{
    document.getElementById('top_header').className = id;
}