HASH(0x7fbf7575af68)