0xbed0c4