0o123 <= 0123