0xde7f ... 80d6