hide: function() { this.visible = false; Element.hide(this); }, 
hide : function() { if(!this.hidden) { this.hidden = true; this.style.width = null; Element.addClassName(this,'hidden'); Element.addClassName('separator','hidden'); fixRightWidth(); } }, 
	hide: function() {		this.visible = false;		Element.hide(this);	},
9748	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9748/7ab29414f85f95995500cab9800ae5002cf85229/LeftAndMain.js/buggy/javascript/LeftAndMain.js