var platform = ((navigator.platform.indexOf('Win') > -1) ? "pc" : "mac");
var name = navigator.appName;
var vers = navigator.appVersion;
vers = vers.substring(0,1); // or 0,4  could return 4.5 instead of just 4
if (platform != "pc") {window.location = "mapsearch2.php"}