function show_mask(id) 
{ 
	doc = document.getElementById(id);
	if (doc.style.display == "none")
		doc.style.display = "";
	else
		doc.style.display = "none";
}