HASH(0x7f5d02da0d78)