HASH(0x7f5cca52ff30)