var WMPVer="unknown",fHasWMP=false,fHasWMP64=false,fHasWMP7=false,ns4=document.layers,ns6=document.getElementById&&!document.all,ie4=document.all;function getObject(b){var a;if(ns6)a=document.getElementById(b);else if(ie4)a=document.all[b];return a}function GetBrowser(){var a=navigator.userAgent.toLowerCase();if(a.indexOf("msie")!=-1&&a.indexOf("opera")==-1)return "IE";else if(a.indexOf("mozilla")!=-1&&a.indexOf("spoofer")==-1&&a.indexOf("compatible")==-1&&a.indexOf("opera")==-1&&a.indexOf("webtv")==-1&&a.indexOf("hotjava")==-1)return "Netscape";else return "unknown"}function GetPlayerMajorVer(){var a=new String(WMPVer);s=a.split(".");return s[0]}function GetPlayerMinorVer(){var a=new String(WMPVer);s=a.split(".");if(s[1])return s[1];else return "unknown"}function GetPlayerState(a){if(fHasWMP64)if(a>=0&&a<=8)return ps64Array[a];else return "mpUndefined - Windows Media Player is in an undefined state.";else if(a>=0&&a<=11)return psArray[a];else return "Undefined - Windows Media Player is in an undefined state."}function AddDownloadLink(a){if(!a||a=="unknown"||a<9)document.write('<tr><td>You do not have the latest Windows Media Player version.<BR><A HREF="http://windowsmedia.com/download"><IMG SRC="http://www.microsoft.com/windows/windowsmedia/images/Download_88x31_static.gif" WIDTH="88" HEIGHT="31" BORDER="0" ALT="Get Windows Media Player" VSPACE="7"></A></td></tr>')}function wmp_play(a,b){if(a)if(a.playState==2&&a.controls.isAvailable("Play"))a.controls.play();else{a.URL=b;a.controls.play()}}function wmp_stop(a){if(a&&a.controls.isAvailable("Stop"))a.controls.stop()}function wmp_pause(a){if(a&&a.controls.isAvailable("Pause"))a.controls.pause()}function wmp_previous(a){if(a&&a.controls.isAvailable("Previous"))a.controls.previous()}function wmp_next(a){if(a&&a.controls.isAvailable("Next"))a.controls.next()};