function plusminus(img, div) {
	if ( div.visible() ) {
		div.hide();
		img.src = '/pix/sdwv/plus_grau.gif';
	} else {
		div.show();
		img.src = '/pix/sdwv/minus_rot.gif';
	}
}