change time.html encoding