HASH(0x7f5cde03e7a8)