HASH(0x7fbf6452efc0)