function show_options(optlayer, checkbox)
{
optdom   = document.getElementById(optlayer);
checkdom = document.getElementById(checkbox);

	if(checkdom.checked)
	optdom.style.display = 'block';
	else
	optdom.style.display = 'none';
}