<!--

function blinking_cursor_on() {
		document.getElementById('cursor').firstChild.nodeValue = '_';
		setTimeout("blinking_cursor_off()",250);
}

function blinking_cursor_off() {
		document.getElementById('cursor').firstChild.nodeValue = ' ';
		setTimeout("blinking_cursor_on()",250);
}

blinking_cursor_off();

-->