what is four sevenths of 35?