PHP solution to problem 15