PHP solution to problem 3