HASH(0x7f5ceccab5d0)