formatting timespan in web interface