/* Last edited on 2007-01-31 14:25:24 by stolfi */