f40 , 831 .)