function hide_warning()
{
document.getElementById ("warning").style.visibility = "hidden";
return true;
}