Miscellany

function get_object(id)
{
	if (document.getElementById)
	{
		return document.getElementById(id);
	}
	else if (document.all)
	{
		return document.all[id];
	}
	else if (document.layers)
	{
		return document.layers[id];
	}
	else
	{
		return null;
	}
}

function is_checked (checkbox)
{
	if (checkbox.checked === true)
	{
		get_object ('textarea1').enabled = false;
		get_object ('textarea2').enabled = false;
	}
	else
	{
		get_object ('textarea1').enabled = true;
		get_object ('textarea2').enabled = true;
	}
}