( 5 , 253 .)