12530

Problem ID: 12530

See also: LA 6137, URI 1299