function imagelinks_restyle( divcontainer, newclass ) {
	var links = divcontainer.getElementsByTagName('a');
	for(i=0;i<links.length;i++) {
		if ( links[i].firstChild.nodeName == 'IMG' ) {
			links[i].className += ' '+newclass;
		}
	}
}