11 , 531X3 .)