24045x1 ) ( 7138 .)