var map=[];
function switchMinify(id) {
	el=getElement(id);
	el.style.display=(el.style.display!='none')?'none':'';
}

function getElement(id) {
	if (typeof(map[id])=='undefined')
		map[id]=document.getElementById(id);
	return map[id];
}