// JavaScript Document
var defaultEx=2;

var isShowingExs=true;

function toggleExs()
{
	isShowingExs=!isShowingExs;
	updateChecks();
}

function showEx(num)

{
	if(!isShowingExs)
		return;

	hideAllExs();

	if(document.getElementById('ex'+num) != null)
	document.getElementById('ex'+num).style.display='block';
}

function hideAllExs()

{
	if(!isShowingExs)
		return;

	var i=1;

	while(document.getElementById('ex'+i)!=null)

	{
		document.getElementById('ex'+i).style.display='none';

		i++;
	}
}

function showDefaultEx()

{
	showEx(defaultEx);

}