agt = navigator.userAgent.toLowerCase();
pos1 = agt.indexOf('win');
pos2 = agt.indexOf('msie');
defaultPageRefresh = (pos1 > 0 && pos2 >0)? 5 : 5;

refreshRate = (typeof(pageRefresh) != 'undefined') ? pageRefresh * 60000 : defaultPageRefresh * 60000;

refreshTimer = setTimeout('refresh()', refreshRate);


var mediaPlayerState = -99;
var sURL = unescape(window.location.pathname);

function refresh() {
  if (mediaPlayerState >= 2 && mediaPlayerState <= 6 ) refreshTimer = setTimeout('refresh()', refreshRate);
  else window.location.replace( sURL );
}

  function resetRefresh() {
    clearTimeout(refreshTimer);
    refreshTimer = setTimeout('refresh()', refreshRate);
  }

function setMediaPlayerState(stNum,stString)
{
  mediaPlayerState = stNum; 
}