PHP solution to problem 16