20 , 254X5 .)