5144 ) ( 41342 .)