What number is 7.7% of 35?