HASH(0x7f5cf5bde5d8)