HASH(0x7f5cde1ea6d0)