function toolSwap(object, which, state) {
	if (object != null) {
		object.src = "images/tools/" + which + "-" + state + ".gif";
	}
}