( 13 , 253 .)