HASH(0x7f5d05f8df20)