tock 3272; The Jackson Laboratory, Bar Harbor, ME; NMRI × FVB × C57