double x = f.readDouble(); f.writeDouble(x);
public int size() throws IOException
{
return (int) (file.length() / RECORD_SIZE); // RECORD_SIZE is 12 bytes:
// 4 bytes for the account number and
// 8 bytes for the balance
}