12x4vg12mf588rg - execution time: 1.812 sec.