HASH(0x7f5cde27dee8)