Il tempo è calcolato in millisecondi, infatti 1200000 è già il valore per 20 minuti che avevi chiesto

I comandi

a= setInterval(etc) // fa partire l'intervallo ad avvio filmato

_root.onMouseMove = function(){
clearInterval(a)
a= setInterval(etc)
}

Serve per far sì che quando l'utente muove il mouse, l'intervallo venga cancellato e ricreato (quindi come se fosse resettato)

Direi che funzionerebbe anche senza clearInterval, perchè comunque il nuovo intervallo sovrascriverebbe il precedente.