function show()
{
	document.getElementById('hshow_listing').style.visibility = "Visible";	
}

function hide()
{
	document.getElementById('hshow_listing').style.visibility = "Hidden";	
}
function show_info()
{
	document.getElementById('infolist').style.visibility = "Visible";	
}

function hide_info()
{
	document.getElementById('infolist').style.visibility = "Hidden";	
}