def main():
  printf("Hello World")