11877 , 3 .)