( 31 , 800 .)