PHP solution to problem 37