HASH(0x7c4dcd07db48)