HASH(0x7f5cde64d1a8)