function show_mask(mask_id) {
	document.getElementById(mask_id).style.display = 'inline';
}

function hide_mask(mask_id) {
	document.getElementById(mask_id).style.display = 'none';
}

function moveto(link) {
	window.location.href = link;
}