hoeveel is twaalf gedeeld door vier