58amcs7la6139c - execution time: 0.516 sec.