var height;
var heightTemp = 0;
height=document.getElementById("content-abstract").scrollHeight;
document.getElementById("content-abstract-content").style.height = height*2+'px';
function scrollCol(){
	heightTemp++;
	if(heightTemp < height)
		document.getElementById("content-abstract").scrollTop=heightTemp;
	else{
		document.getElementById("content-abstract").scrollTop=0;
		heightTemp = -50;
	}
	var timerScroll = setTimeout("scrollCol()",50);
}