HASH(0x7f5cdc128e68)