= function(e) {
      document.removeEventListener("mousemove", handleMouseMove);
      document.removeEventListener("mouseup", handleMouseUp);
      document.removeEventListener("touchmove", handleMouseMove);
      document.removeEventListener("touchend", handleMouseUp);
      self.scrubTime = null;
      if (!wasPaused) {
        log("Playing after progress change")
        player.play()
        var promise = player.play()
        if (promise !== undefined) {
          promise.then(function() {
          