protected short ReadShort() { return(ReadBuffer.readShort()); }
public double readDouble() { return((double)ReadBuffer.readInt() + (double)ReadBuffer.readShort() / 1000); }