function jouer(mp3_file,titre) { document.all.lecteur.innerHTML='

Sélectionner un titre

" '+titre+' "

'; } function inserer(id, largeur, hauteur, quoi){ divid=document.getElementById(id); intext = '

'; divid.innerHTML=intext; /*divid.innerHTML='

';*/ }