12400

Problem ID: 12400