( 12 * 20 .)