proc main() {
  printi(13);
  printi(2097150);
}