modified:   exp/expproc.py
	modified:   exp/expstats.py
	modified:   exp/intrecord/hotjobs.py
	modified:   exp/intrecord/indepjobs.py
	modified:   exp/runexp.py