var Player = {

  playerPath: "./player.php",

  mediaPath: "./media/midi/",

  mediaName: "",

  isModified: false,

  set: function(dir, name) {
    this.mediaName = dir + "/" + name;
    this.play();
  },

  play: function() {
    $("player").src = this.playerPath + "?path=" + encodeURIComponent(this.mediaPath + this.mediaName);
  }

}