12032 , x 2 .)