( 7 , 253 .)