#include <stdio.h>



int main(int argc, char **argv)
{
  
  char *name = argv[1];
  /*system("clear");*/
  printf("\n\n\n");
  /*printf("Hello %s!\n",name);*/
  printf("Hello !\n");
  printf("Welcome to GILDA GENIUS tutorial, Catania 24-25 th May,2004 \n\n\n");
  exit(0);
}