Que operação pode ser usada para encontrar a metade de 1234?