Solve problem 80 using PHP.