HASH(0x7fedda6b5340)