( 12 * 71 .)