<!--
function getvideo(filename) 
{
   var nn4 = (document.layers);
   var nn6 = (document.getElementById && !document.all);
   var ie4 = (document.all && !document.getElementById);
   var ie5 = (document.all && document.getElementById);

   if (nn4){
      document.video.load(filename, document.video.clip.width);
   }
   else if (ie4) parent.video.location = filename;
   else if (ie5 || nn6) document.getElementById('video').src = filename;
}
// -->