Add dejongf3.