PHP solution to problem 1