function refreshDiagram()
{
var index = document.forms['search'].catid.selectedIndex;
var catid = document.forms.search.catid.options[index].value;
var img = document.getElementById('diagram');
img.src = '/images/projections/labelled-cat' + catid + '.gif';
}