7496X3 ) ( 5141 .)