HASH(0x7f5cdd1af1b0)