0x71f..3fc