si, sul getElementById hai perfettamente ragione. Ho scritto lo script al volo e per cattiva abitudine ho usato il collegamento diretto all'elemento.