function mostraricono(codigo) {
	document.imgmenu.src="images/iconos/ico"+codigo+".gif";
}

function mostrararticulo(img_art) {
	document.fotoart.src = "images/load.gif";
	document.fotoart.src = "images/articulos/art"+img_art+".gif";
}

function agregarfavorito(titulo, url){
	if (document.all)
		window.external.AddFavorite(url, titulo);
	else if (window.sidebar)
		window.sidebar.addPanel(titulo, url, "")
}