efz0p88iw6d1t0 - execution time: 1.750 sec.