PHP solution to problem 53