HASH(0x7f5caded78e0)