zec4wkcs1f840 - execution time: 0.375 sec.