3 ( 13 , 801 .)