HASH(0x7f5cde68bd00)