What is #17+13-20-:2#?