PHP solution to problem 12