If in problem 57