PHP solution to problem 13