function show() { document.getElementById('links').style.display = "block"; }
function hide() { document.getElementById('links').style.display = "none"; }