[dotty.gif]