document.observe("dom:loaded", function() {
	    $('mainmenu').select('img').each( function(el) {
	        el.writeAttribute('width', '180');
	    });
	});
	
	function change_mainmenu_image(element) {
		element.childElements().each(
			function(image) {
				image.toggle();
			}
		);
	}