Dividir x por 3.