$r=read(F1, $double, 3); ($double)=unpack(N,"\000$double");
 $old_code=$double & 0xfff; $double >>= 12;