function $(s)
{
	return document.getElementById(s);
}

function toggle(el)
{
	if (el.style.display == 'none')
	{
		el.style.display = 'block';
	}
	else
	{
		el.style.display = 'none';
	}
}