function scroll() {
    	window.scrollBy(0,10); 
    	scrolldelay = setTimeout('scroll()',100);
}

function stopscroll() {
    	clearTimeout(scrolldelay);
}

function add_tag(tag){
	 document.tag_form.tags.value = document.tag_form.tags.value + ' ' + tag;
}