var url ="";
if(OS != 'mac')	{url = thisPage + ".html"; window.location = url;}