Division-by-3

    17