document.title = (100 * time / totaltime).toFixed(1) + "%";
You might want to round() first, though:
http://stackoverflow.com/questions/1726630/javascript-format...