function doRoll(id_str, state_str){

	var target_obj = document.getElementById(id_str);
	
	var imageFilePath_str = 'images/nav/nav_'+id_str+'_'+state_str+'.gif';

	target_obj.src = imageFilePath_str;

};