function RotateImages(start) {
    if(typeof(RotateTimer) == "undefined") return;
    if(typeof(HeaderArray) == "undefined") return;
    if (HeaderArray.length == 0) return;
    var img = document.getElementById('header-image');
    if (img == null) return;
    if (start>=HeaderArray.length) start=0;
    img.src = HeaderArray[start];
    window.setTimeout("RotateImages("+(start+1)+")",RotateTimer);
}
window.onload = function() {
    RotateImages(0);
}