12497x3 ) ( 6025 .)