12x8bs12t779d5k - execution time: 0.469 sec.