zanvrch2og0 - execution time: 0.375 sec.