58hmkv12k25sc9k - execution time: 1.812 sec.