f80x2rebxva42o - execution time: 0.265 sec.