PHP solution to problem 11