12x8bs11r42ldso - execution time: 0.437 sec.