HASH(0x7f527c08efc0)