efzveal27gpa5g - execution time: 1.656 sec.