window.addEvent('domready', function(){	var divs = $$(['docs', 'js', 'html', 'css']);	divs.each(function(div){		var link = $(div.id + 'code');		div.setStyle('display', 'none');		link.addEvent('click', function(e){			e = new Event(e);			divs.each(function(other){				if (other != div) other.setStyle('display', 'none');			});			div.setStyle('display', (div.getStyle('display') == 'block') ? 'none' : 'block');			e.stop();		});	});});