d=document;
function saca() {
	var url;
	var numero;
	numero=document.getElementById("numero").value;
	url="sacar.php?numero="+numero;
	cargarAjax(url,"carga");
}
function carga(datos) {
	d.getElementById("compania").innerHTML = datos;
}