HASH(0x7f5cdcfc7de0)