function selectPub(pubid){
	toggle_tick(pubid);
};
  
function toggle_tick(id) {
	var tick = document.getElementById("tick_" + id);
	var box = document.getElementById("checkbox_tenancy_" + id);
	if(tick.style.display == 'block')
	{
		tick.style.display = 'none';
		box.checked = false;
	}
	else
	{
		tick.style.display = 'block';
		box.checked = true;
	}
};