PHP solution to problem 42