HASH(0x7f5ccc1ed8d0)