Puoi usare setInterval per gestire questa cosa.

Una cosa tipo

a = setInterval(function(){gotoAndPlay("primoframe")}, 1200000)
_root.onMouseMove = function(){
clearInterval(a)
a = setInterval(function(){gotoAndPlay("primoframe")}, 1200000)
}