HASH(0x7fedfe5b5bc0)