[divfrac.gif]