[typ.gif]