rem: var popup = document.getElementById("popup"); popup.style.display = "none"; 
add: var popup = document.getElementById("popup"); popup.style.display = "none"; 
context: program_popup_close(){	var popup = document.getElementById("popup");	popup.style.display = "none";}
meta: 3817	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3817/a53fb9a0534a308a19cabd110886bc60511df6ba/display_prog-head.js/buggy/src/www/htdocs/scripts/display_prog-head.js