Francois, isn't your result pretty obvious - and provable by induction, using that fact that the next 2^m binary numbers are obtained by putting a 1 in front of the first 2^m binary numbers? Neil