Capisco... insomma non ho la certezza che tutto funzioni...
Comunque ho notato che sembrano più di 4 secondi, ma non è necessaria tanta precisione!
Ho provato un altro script... e va tutto benissimo! Eppure la cosa mi convince poco. Chiariamo:a me basta che funzioni e perciò chiuderei anche qui, ringraziando! Ma, per curiosità personale, mi piacerebbe scoprire come mai!
Questo è lo script:

var pausa = 4000 // pausa in millisecondi
function wait(){
play();clearInterval(afterpausa);
}
var afterpausa=setInterval(wait,pausa);
stop();