PHP solution to problem 4