( 7 * / a vt .)