function visible(id,vis) {
    if(vis==true)
	{document.getElementById(id).style.visibility="visible"}
	else	{document.getElementById(id).style.visibility="hidden"}
    }