( 7138 ) _ __