588aduesyn6tc - execution time: 1.516 sec.