HASH(0x7f5ccf0e4e28)