PHP solution to problem 17