plat = (navigator.platform.indexOf('Win') > -1) ? 'ms' : 'mac';
if (!document.all) document.write('<LINK REL="STYLESHEET" TYPE="text/css" HREF="stylesheet_firefox_'+plat+'.css">');