if(window.addEventListener){ window.addEventListener('load', init, true); }
if(window.attachEvent){ window.attachEvent('onload', init); }

var headerText;        
var header = null;

function init()
{
    if(header==null) header = document.getElementById('header');
    headerText = header.innerHTML;
}

function switchHeader(newtext)
{
    if(header==null) header = document.getElementById('header');
    header.innerHTML = newtext;
}

function resetHeader()
{
    if(header==null) header = document.getElementById('header');
    header.innerHTML = headerText;
}