function hide(el)
{
	document.getElementById(el).style.display = 'none';
}

function show(el)
{
	document.getElementById(el).style.display = '';
}

function write_object(embedded_object)
{
	document.write(embedded_object);
	document.write('\n');
}