0x7df..1e4