HASH(0x7f5cee0a7fe8)