We should specify that this number should be (I think) in base 8.