12 , 453X3 .)