3088 Hans G . Gulliksen.