HASH(0x7f5d04581e00)