int noOfWords = 0;
  String [] input = new String[100];
  while(!Console.endOfFile())
  {
    input[noOfWords] = Console.readToken();
    noOfWords++;
  } // while

  for (int index = 0; index < noOfWords; index++)
    System.out.println((String) hashmap.get(input[index]) + " ");