// -------------------------------------------------------------------
// -------------------------------------------------------------------

function display_edit_icon(element_id)
{
	var el1 = document.getElementById( element_id );
	el1.style.visibility = 'visible';
	

}
function hide_edit_icon(element_id)
{
	var el1 = document.getElementById( element_id);
	el1.style.visibility = 'hidden';

}