var dge=document.getElementById;
function expCol(a)
{
	if (!document.getElementById)
		return;
	document.getElementById(a).className = (document.getElementById(a).className=='hidden')? 'shown':'hidden';
}