HASH(0x7fbf704cf7b8)