/* Determine if the page is loaded from a mobile device or not */
var os=navigator.platform.toLowerCase();if(os.indexOf('linux')===-1&&os.indexOf('win')===-1&&os.indexOf('mac')===-1){window.location="mobile/index.html";}