// JavaScript Document
function popPlayer(theFile,id,stuff) {
  window.open(theFile,id,stuff);
}