HASH(0x7f5cae843b38)