var myTimer;


function changeHeader(strCompanyShort)
{
    if (document.getElementById('headerFrame') != undefined)
    {
            document.getElementById('headerFrame').src = 'Controls/Header.aspx?header=' + strCompanyShort;
    }
}

function initHeader()
{
    myTimer = setTimeout(randomHeader, 4550);
}