getTimer() è una FUNZIONE che fornisce un valore NON qualcosa che puoi modificare.
Per fare quello che vuoi devi utilizzare una variabile dove memorizzare il valore restituito da getTimer().

Il tuo codice va quindi cambiato così:
codice:
// 10 frame
tempo = getTimer ();
//
ifFrameLoaded (20) {
    if ((getTimer()-tempo)>4000) {
        play ();
    } else {
        gotoAndPlay (11);
    }
}
A dire il vero c'è qualcos'altro in questo script che NON va, ma per adesso mi sono focalizzato sul getTimer().

Spiega meglio cosa vorresti fare...