139u7815btexckc - execution time: 2.188 sec.