function embed_flash(swf_card, swf_width, swf_height, id){ document.write('

'); } function embed_music(midi_file){ document.write('

'); }