( 13 , 800 .)