function getWMP(){var wmpid;if((navigator.userAgent.indexOf("IE")>-1)&&(navigator.platform=="Win32"))wmpid="mediaplayer";else wmpid="mediaplayer_ff";return document.getElementById(wmpid);};
function gotoTime(time){getWMP().controls.currentPosition=time;getWMP().controls.play();};