Division by 2

    7