function divxplayer(playerid) {
 var plugin;
 if (navigator.userAgent.indexOf('MSIE') != -1
  || navigator.userAgent.indexOf('Safari') != -1)
  plugin = document.getElementById('object' + playerid);
 else
  plugin = document.getElementById('embed' + playerid);
 return plugin;
}
function togglevis(id) {
 var e = document.getElementById(id);
 if (e.style.visibility == 'hidden') e.style.visibility = '';
 else e.style.visibility = 'hidden';
}