6032 , x 12 .)