HASH(0x7f5ce9eef4b0)