/* Check object (i.e. a radio button). */
function checkobj(element)
{
	if (element == null)
	{
		document.getElementById(element).checked = true;
	}
	else
	{
		element.checked = true;
	}
}


/* Show object. */
function show(element)
{
    //document.getElementById(element).style.display = 'block';
    document.getElementById(element).style.visibility = 'visible';
}