var began_loading = (new Date()).getTime();
window.onload = function()
{
	document.getElementById('progress').innerHTML = 'Updates retrieved in ' + (((new Date()).getTime() - began_loading) / 1000) + ' seconds.';
}
function updateprogress()
{
	document.getElementById('progress').innerHTML = 'Retrieving updates. Please wait...';
	document.getElementById('updatelist').innerHTML = '';
}