efz7xu16osx1kg4 - execution time: 0.281 sec.