function adjspacing() 
{
    var ua = window.navigator.userAgent;
    var msie = ua.indexOf ( "MSIE " );
    var verIE = parseInt(ua.substring (msie+5, ua.indexOf (".", msie )));
    var isIE = navigator.appVersion.indexOf("MSIE");
    var supportAll = (document.all != null);
    var uaprod = navigator.product;
    var uavendor = navigator.vendor;
    var uaver = navigator.vendorSub;
    var uaAppName = navigator.appName; 
    var isFF = navigator.userAgent.indexOf("Firefox");

    //if (uaAppName == "Microsoft Internet Explorer")
    if (msie > 0)
    {
        if ((verIE == 6) || (verIE == 7))
            document.write('<DIV id=companytext2>');
        else
            document.write('<DIV id=companytext1>');
    }
    else
        document.write('<DIV id=companytext1>');
} 

adjspacing();