public void WriteDoubles(double[] v)
{
if (v==null){
WriteInt(-1);
}else{
WriteInt(v.Length);
foreach (double b in v){
Write(BitConverter.GetBytes(b));
}
}
}