HASH(0x7f5cecfcea50)