addOnloadHook(function () { if (window.location.hash == "") window.location.hash = fragment; }); 
addHandler( editForm, 'submit', function() { document.getElementById( 'wpScrolltop' ).value = document.getElementById( 'wpTextbox1' ).scrollTop; } ); 
		addOnloadHook(function () {			if (window.location.hash == "")				window.location.hash = fragment;		});
9612	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9612/8f416baead93a48e5799e44b8bd2e2c4859f4e04/wikibits.js/buggy/skins/common/wikibits.js