Division by 4

    17