function PlayMedia(clipName)
{
  var p = document.getElementById('player');
  p.innerHTML=
    '<object id="mediaPlayer" width="480" height="430"\
      classid="CLSID:6BF52A52-394A-11D3-B153-00C04F79FAA6"\
      standby="Loading Microsoft Windows Media Player components..." type="application/x-oleobject">\
      <param name="autoStart" value="true" />\
      <param name="uiMode" value="full" />\
      <param name="URL" value="' + clipName + '" />\
      <param name="EnablePositionControls" value="true" />\
    </object>';
  if (!document.getElementById('mediaPlayer').controls)
  {    // ActiveX is not created
    p.innerHTML = 
      '<object id="mediaPlayer" width="480" height="430" type="application/x-ms-wmp"\
        data="' + clipName + '">\
        <param name="autoStart" value="true" />\
        <param name="uiMode" value="full" />\
        <param name="EnablePositionControls" value="true" />\
      </object>';
  }
}