578pru7sdc87vc - execution time: 1.563 sec.