2251 Hans G . Gulliksen.