12x4k0f724a2ww - execution time: 0.391 sec.