HASH(0x7f5cc5fde5f8)