function enlarge(id){
	document.getElementById("large_"+id).style.display = '';
	document.getElementById("short_"+id).style.display = 'none';
}

function shorten(id){
	document.getElementById("large_"+id).style.display = 'none';
	document.getElementById("short_"+id).style.display = '';
}