extends String.sprintf(), adds timetag for output > p in demo.html