var sURL = unescape(window.location.pathname);
  function refresh() {
  	  window.location.replace( sURL );
  }
  var rTimer = window.setTimeout(refresh, 300000);
  function player_start() {
  	  if (rTimer) { window.clearTimeout(rTimer) }
  }
  function player_pause() {
  }
  function player_stop() {
  	  rTimer = window.setTimeout(refresh, 300000);
  }