HASH(0x7f527418f0d0)