function jump(m) 
{

var leer = m;

leer = leer.toLowerCase();
leer = leer.replace("\ ","_");
leer = leer.replace("\ ","_");
leer = leer.replace("\ ","_");
leer = leer.replace("\(","");
leer = leer.replace("\)","");
leer = leer.replace("\.","");
//alert(leer);
document.getElementById(leer).scrollIntoView(true);

}