12x8drk3tvr51w - execution time: 1.234 sec.