HASH(0x7f5cde2d3cf8)