HASH(0x7f5cac57c7d8)