15 , 254X2 .)