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

'); } function div_swf_object(swf_card, swf_width, swf_height,div_id, id){ document.getElementById(div_id).innerHTML='

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

'); }