function swapper (image_id, image_name, status) {
	if (status==1) {
		var new_image = image_name+'_ro.gif';
		document.getElementById(image_id).src ='images/'+ new_image;
	}
	else {
		var new_image = image_name+'.gif';
		document.getElementById(image_id).src ='images/'+ new_image;	
	}
}