9588X3 ) ( 542 .)