var editBoxEl = document.getElementById("wpTextbox1"); var scrollTopEl = document.getElementById("wpScrolltop"); var editFormEl = document.getElementById("editform");  if (editBoxEl && scrollTopEl) { if (scrollTopEl.value) { editBoxEl.scrollTop = scrollTopEl.value; } editFormEl.onsubmit = function() { document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop; }; 
var editBox = document.getElementById( 'wpTextbox1' ); var scrollTop = document.getElementById( 'wpScrolltop' ); var editForm = document.getElementById( 'editform' ); if( editBox && scrollTop ) { if( scrollTop.value ) editBox.scrollTop = scrollTop.value; addHandler( editForm, 'submit', function() { document.getElementById( 'wpScrolltop' ).value = document.getElementById( 'wpTextbox1' ).scrollTop; } ); 
function scrollEditBox() {	var editBoxEl = document.getElementById("wpTextbox1");	var scrollTopEl = document.getElementById("wpScrolltop");	var editFormEl = document.getElementById("editform");	if (editBoxEl && scrollTopEl) {		if (scrollTopEl.value) { editBoxEl.scrollTop = scrollTopEl.value; }		editFormEl.onsubmit = function() {			document.getElementById("wpScrolltop").value = document.getElementById("wpTextbox1").scrollTop;		};	}}
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/wikibits.js/buggy/skins/common/wikibits.js