m:-readln([X]),format("~d ",msb(X)),m.