function change(picurl, nombre) {
document.getElementById(nombre).src ='pics/elementos/'+ picurl + '.gif';
}
function change2(picurl, nombre) {
document.getElementById(nombre).src ='pics/elementos/'+ picurl + '.gif';
}