HASH(0x7f5cde4c4f68)