11972x1 ) ( 1134 .)