function shortcat_change(img_name, img_src, shortcat) {
    var i;

    document.getElementById(img_name).src = img_src;

    for (i = 0; i < 3; i++) {
    
	if ( (img_name + "_" + i) == shortcat ) { 
    	    document.getElementById(img_name+"_"+i+"_t").className = "content-short-blue";
    	    document.getElementById(img_name+"_"+i+"_a").className = "content-short-bluea";
	} else {
    	    document.getElementById(img_name+"_"+i+"_t").className = "content-short-grey";
    	    document.getElementById(img_name+"_"+i+"_a").className = "content-short-greya";
		}
    }
    return;
    
}