function fixIE6() {
    var user_agent = navigator.userAgent;
    var re = new RegExp("IE 6\.0");
    if (user_agent.match(re)) {
        var ie6_logo = "http://www.highorderbit.com/images/hob-logo-grey-gradient-ie6.png";
        document.images.hoblogo.src = ie6_logo;
    }
}

function fixIENavLoc() {
    var user_agent = navigator.userAgent;
    var re = new RegExp("IE");
    if (user_agent.match(re)) {
	document.getElementById('searchform').style.margin = '-75px 0px 0px 0px';
    }
}

function processLoadEvent() {
    fixIE6();
    fixIENavLoc();
}