( 12 , 808 .)