function displaylinks(disp) {
  var links=document.getElementById('links');
  links.style.display=disp;
}