TAMAÑOGIF nombre_de_archivo
GIFSIZE nombre_de_archivo

Devuelve la anchura y altura de la imagen GIF especificada por el argumento nombre_de_archivo. El argumento nombre_de_archivo debe ser una palabra que el es nombre de un archivo GIF valido.

TAMAÑOGIF devuelve una lista con dos elementos de la forma [anchura altura].

MUESTRA TAMAÑOGIF "midibujo.gif
[256 256]