12x8dr9sful130 - execution time: 0.281 sec.