HASH(0x7f5cf4bb98d0)