#!/usr/bin/env python3

import sys





def solve(ABCD: str):

    num_str = ABCD

    N = len(num_str) - 1



    for bit in range(2 ** N):

        tmp = num_str[0]

        for i in range(N):

            if bit & 1 << i:

                tmp += "+"

            else:

                tmp += "-"

            tmp += num_str[i + 1]

        res = eval(tmp)



        if res == 7:

            print((tmp + "=7"))

            return



    return





# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)

def main():

    def iterate_tokens():

        for line in sys.stdin:

            for word in line.split():

                yield word

    tokens = iterate_tokens()

    ABCD = next(tokens)

    solve(ABCD)



if __name__ == '__main__':

    main()

#!/usr/bin/env python3

import sys





def solve(num_str: str):

    N = len(num_str) - 1



    for bit in range(2 ** N):

        ans = num_str[0]

        for i in range(N):

            if bit & 1 << i:

                ans += "+"

            else:

                ans += "-"

            ans += num_str[i + 1]



        if eval(ans) == 7:

            print((ans + "=7"))

            return



    return





# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)

def main():

    def iterate_tokens():

        for line in sys.stdin:

            for word in line.split():

                yield word

    tokens = iterate_tokens()

    ABCD = next(tokens)

    solve(ABCD)



if __name__ == '__main__':

    main()

#!/usr/bin/env python3
import sys


def solve(ABCD: str):
    num_str = ABCD
    N = len(num_str) - 1
    for bit in range(2**N):
        tmp = num_str[0]
        for i in range(N):
            if bit & 1 << i:
                tmp += "+"
            else:
                tmp += "-"
            tmp += num_str[i + 1]
        res = eval(tmp)
        if res == 7:
            print((tmp + "=7"))
            return
    return


# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
def main():
    def iterate_tokens():
        for line in sys.stdin:
            for word in line.split():
                yield word

    tokens = iterate_tokens()
    ABCD = next(tokens)
    solve(ABCD)


if __name__ == "__main__":
    main()

#!/usr/bin/env python3
import sys


def solve(num_str: str):
    N = len(num_str) - 1
    for bit in range(2**N):
        ans = num_str[0]
        for i in range(N):
            if bit & 1 << i:
                ans += "+"
            else:
                ans += "-"
            ans += num_str[i + 1]
        if eval(ans) == 7:
            print((ans + "=7"))
            return
    return


# Generated by 1.1.6 https://github.com/kyuridenamida/atcoder-tools  (tips: You use the default template now. You can remove this line by using your custom template)
def main():
    def iterate_tokens():
        for line in sys.stdin:
            for word in line.split():
                yield word

    tokens = iterate_tokens()
    ABCD = next(tokens)
    solve(ABCD)


if __name__ == "__main__":
    main()

-def solve(ABCD: str): -    num_str = ABCD +def solve(num_str: str): -        tmp = num_str[0] +        ans = num_str[0] -                tmp += "+" +                ans += "+" -                tmp += "-" -            tmp += num_str[i + 1] -        res = eval(tmp) -        if res == 7: -            print((tmp + "=7")) +                ans += "-" +            ans += num_str[i + 1] +        if eval(ans) == 7: +            print((ans + "=7"))