function hide_element(id)
{
document.getElementById(id).style.visibility='hidden';
}