578jod4bazl6co - execution time: 1.734 sec.