PHP solution to problem 6