587plt137uaydbg - execution time: 1.578 sec.