HASH(0x7fbf944d1bb0)