5250 ) ( 6400)