10388X3 ) ( 7 , 555 .)