<!--//determines which stylesheet to write based on browser/platform combination.var ns = (document.layers) ? 1:0;var ie = (document.all && !document.getElementById) ? 1:0;var ie5 = (document.getElementById && !window.innerHeight) ? 1:0;var ns6 = (window.innerHeight && !document.layers) ? 1:0;var op = (ns6 && !document.getElementsByTagNameNS) ? 1:0;var sf = (navigator.userAgent.indexOf('Safari') > -1) ? 1:0;var mac = (navigator.platform.indexOf('Mac') > -1) ? 1:0;// -->