( 15 , 800 .)