20 : 43 * / * ; I*