( 12 , 253 .)