HASH(0x7f5cec042f48)