587plt13c2upbug - execution time: 1.672 sec.