function set_div(which, content)
{
	document.getElementById(which).innerHTML = content;
}

function set_div_and_show(which, content)
{
	document.getElementById(which).innerHTML = content;
	document.getElementById(which).style.display = 'block';
}

function go_to_url(url)
{
	window.location = url;
}