PHP solution to problem 7