int val2 = buf.readInt();
int val3 = buf.readInt();
int val4 = buf.readInt();
int val5 = buf.readInt();
int val6 = buf.readInt();
int val7 = buf.readInt();
int val8 = buf.readInt();
int val9 = buf.readInt();
int val10 = buf.readInt();
int val11 = buf.readInt();
int val12 = buf.readInt();