7112 * 12 ) ( 4160 .)