function play_over(sef,url){
var div = document.getElementById('div1');
div.innerHTML = '<embed src="'+url+'" loop="0" autostart="true" hidden="true"></embed>';
var emb = document.getElementsByTagName('EMBED')[0];
if (emb) {
/* 這裏可以寫成壹個判斷 wav 文件是否已加載完畢,以下采用setTimeout模擬壹下 */
div = document.getElementById('div2');
div.innerHTML = 'loading: '+emb.src;
sef.disabled = true;
setTimeout(function(){div.innerHTML='';},1000);
}
}