You now have 193.167.161.226 in addition to the old .225 (in our DNS, piatti and piuparts.cs.helsinki.fi, respectively). -- Mikko Rauhala <mjrauhal at cs.helsinki.fi> University of Helsinki