HASH(0x7f5cca2e57d8)