if (isWin95()) { window.location="index_w95.html"; } else if (isWin31()) { window.location="index_w31.html"; }