js/js.js

function setImage(id,src) {
    var e = document.getElementById(id)
    if (e == null || e.tagName != "IMG") return
    e.src = src
}

function P(id,op) {
   var player = window[id] || window.document[id]
   if (!player) {
       alert("Player " + id + " not found")
       return
   }
   if (op == "play") {
       player.Play()
   } else if (op == "stop") {
       player.Stop()
   } else if (op == "rew") {
       player.Rewind()
   }
}