HASH(0x7f5ceb02afd8)