document.getElementById("orderInputs").className ="itemOperations"; 
		function disableOrderButtons() {			document.getElementById("revertOrderButton").disabled = true;			document.getElementById("saveReorderButton").disabled = true;		}
5063	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5063/8c5fe9e4ad1b0d17da9503801a0b418bd40398cf/reorderUtils.js/buggy/tool/src/webapp/content/js/reorderUtils.js