function reproducir_mp3(cancion) { document.write('

'); };