#include <iostream>
using std::cout;

int main() {
  cout << "123";
  cout << "\b\b\b456 - OK";
  return 0;
}