function update_timer() {
	var time = document.getElementById('time');
	var elapsed = calculate_elapsed_time();
	time.innerHTML = elapsed;
	updateTitle(elapsed);
    setTimeout('update_timer()', 20000);
}
function updateTitle(/*string*/ text) {
	document.title = text + " : TimeKeeper";
}
function calculate_elapsed_time() {
	return ((get_current_time() - readCookie('timer'))/ 3600).toFixed(2);
}
function get_current_time() {
	var today = new Date();
	today.setTime( today.getTime() );
	return Math.round(today/1000);
}
function reset_timer() {
	createCookie('timer', get_current_time(), 90);
	update_timer();
	return false;
}
function focus_reset() {
	var reset_button = document.getElementById('reset');
	reset_button.focus();
}