( 12517.5 ( 12517 .)