var plugin;

if (navigator.userAgent.indexOf("MSIE") != -1 || navigator.userAgent.indexOf("Safari") != -1) {
  plugin = document.getElementById("ie_plugin");
} else {
  plugin = document.getElementById("np_plugin");
}

function play(file) {
  Element.scrollTo(plugin);
  plugin.Open(file);
}