function pageSwitch(b){var a=850;$("#menu").animate({top:-400,opacity:0},a,thisHide);$("#cover2").animate({opacity:0},160);$("#menuOpen").css("display","block");$("#menuOpen").animate({opacity:1},a+50);setTimeout(function(){window.location=b;},a+60);}function OpenInNewTab(a){var b=window.open(a,"_blank");b.focus();}