HASH(0x7f7ab41d7cd0)