24258x1 ) ( 7249 .)