HASH(0x7f5ccc2ab4c0)