function el (element) {
  return document.getElementById(element);
}

function jump (element, add) {
  document.location  = add + el(element).value;
}