HASH(0x7f137dea73a0)