18102 ) ( 7142 .)