HASH(0x7f5ce8e17cb0)