HASH(0x7fedfc04e748)