function hidediv()
{
var obj=document.getElementById('langlinks');
if(obj)
	obj.style.display='none'
}