efyk5k1d2xg3jc0 - execution time: 0.125 sec.