<SCRIPT> <!--{ if((navigator.userAgent.indexOf('Win') != -1) && (navigator.userAgent.indexOf('95') != -1)) { window.location.href="win95.html"; } else if(navigator.userAgent.indexOf('Win') != -1) { window.location.href="win31.html"; } else if(navigator.userAgent.indexOf('Mac') != -1) { window.location.href="mac.html"; } else { window.location.href="win.html"; }}//--> </SCRIPT>