if (navigator.appName.indexOf('Internet Explorer') != -1) window.location = 'https://www.wikidot.com/domainauth.php?setiecookie=1&url=' + encodeURIComponent(window.location);