25 , 254 , 317 , 488;