updateScaleOptionCount(); 
decreaseScaleOptionCount(); 
function removeOldElement(spanNum) {	var s = document.getElementById('myOldSpan');	var oldspan = document.getElementById(spanNum.parentNode.id);	s.removeChild(oldspan);	updateScaleOptionCount();}
5063	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5063/d351d4a3ecb969b51d19512195991694ba663abd/scaleUtils.js/clean/tool/src/webapp/content/js/scaleUtils.js