Urkunden Judo 64-1328
Execution time (seconds): ~0.124604