PHP solution to problem 10