[htdefn.gif]