function first() {
  index = 0;
  c = dot.charAt(0);
}
Get the first character from the dot file.
The character is stored into the char c. If the end of the dot file is
reached, the function puts an empty string in c.