7 , 212X3 .)