f85mrx5kx32to - execution time: 0.828 sec.