formal name in static