rem: } 
add: }; 
context: 		editFormEl.onsubmit = function() {			document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop;		}
meta: 7642	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7642/845a064a5667ce4442c1b90f1eb1e013673ae589/wikibits.js/buggy/skins/common/wikibits.js