4254X2 ) [ 3610]