var actual = '';
var historia = new Array();
var posicion = 0;

function escribir_historia(id)
{
	n = historia.length;
	historia[n] = id;
	
	posicion=historia.length;
}

function desplegar_historia()
{
	var div_historia = document.getElementById('historia');
	div_historia.innerHTML = '';
	n = historia.length;
	for (i=0;i<n;i++)
	{
	    div_historia.innerHTML += historia[i] + " · ";
	}
    div_historia.innerHTML += "Total: "+n+" busquedas. Posicion:"+posicion+ ". Actual: "+actual;
}