HASH(0x7f7ab457fa48)