0xd31..4bc