img_names = new Array();
img_names['img_stefan'] = 'grafic/stefan_rolig.png';
img_names['img_patrik'] = 'grafic/patrik_rolig.png';
img_names['img_andreas'] = 'grafic/andreas_rolig.png';
img_names['img_raija'] = 'grafic/raija_rolig.png';
img_names['img_helena'] = 'grafic/helena_rolig.png';

function img_switch(id, what) {
	if (what) {
		document.getElementById(id).src =  img_names[id];
	}
	else {
		document.getElementById(id).src =  'grafic/' + id.substr(4) + '.png';
	}
}