5141 ) ( 41342 .)