253 x 1 : 0 : 25 .)