function launch_player($url)
        {
        media_player=window.open
   ($url,"media_player",'statusbar=0,toolbar=0,menubar=0,scrollbars=0,resizable=no,width=460,height=350')
  }

function launch_hk($url)
        {
        media_player=window.open
   ($url,"media_player",'statusbar=0,toolbar=0,menubar=0,scrollbars=0,resizable=no,width=560,height=400')
  }