public long CurrentFilePosition()
   {
   	  long	position;
 	  try
	  {
   	      position = file.getFilePointer();
   	  } catch (IOException ioe)
	    {
	      position = -1;
	    }
      return position;
   }