( 13 , 809 .)