HASH(0x7fbf945745d0)