PHP solution to problem 9