8052X3 ) ( 5250 .)