578rrahw18ec3c - execution time: 0.312 sec.