. . . "1=3=7" . . .