HASH(0x7f5cee4ad3b0)