function popup() {
if(document.getElementById) {
document.getElementById("popup").style.display="none"; return false; }
else return true; }
