8087X3 ) ( 5 ,531