HASH(0x7f5c81d3bda0)