// select_link() function
// INPUT: none
// OUTPUT: move highlighter
// REQUIRES: form temp, input select_placer, div highlighter

var t = 0;

function select_link() {
	highlighter = document.getElementById('highlighter');
	y = document.temp.select_placer.value;

	if (parseInt(highlighter.style.top) == y) {
		clearTimeout(t);
	} if (parseInt(highlighter.style.top) < y) {
		highlighter.style.top = parseInt(highlighter.style.top)+1+'px';
		t = setTimeout("select_link()", 1);
	} if (parseInt(highlighter.style.top) > y) {
		highlighter.style.top = parseInt(highlighter.style.top)-1+'px';
		t = setTimeout("select_link()", 1);
	}		
}