// INSTALL: set the base web path; include trailing slash
var BASE_WEB_PATH = "/";

function playVideo(category, file) {
  var vid = document.getElementById("vid");
  if (vid) {
    vid.src = BASE_WEB_PATH + "video/index-" + category + ".php?video=" + file;
    parent.scroll(0,0);
  }
}