buenas,
efectivamente javascript no es, sino as3. yo no soy versado en as3 por lo que alguien con conocimientos en as3 y javascript tendra que traducirlo. a lo sumo y a juzgar por el nombre, me parece que es lo mismo que document.getElementById. de ser necesario, solo debes reemplazar document por el objeto que represente el documento.
