HASH(0x7f5cde096be8)