// do player.js if (player_url!='') { document.write('

'); }