12532 2 ) ( 6024 .)