function hanoi($n, $origen, $aux, $destino){