HASH(0x7fbf944eb340)