// Not used in static HTML version