( 12 , 953 .)