HASH(0x7f5d05fca1c0)