var stop_area_scrolling = false
	
	function scroll_area(obj_name, obj_container_name)
	{
		if (stop_area_scrolling) 
			return;

		var content_obj = document.getElementById(obj_name);
		var div_obj = document.getElementById(obj_container_name);
		
		var top = parseInt(content_obj.style.top) - 1;
		
		if(top < - content_obj.offsetHeight)
			top = div_obj.offsetHeight
		
		content_obj.style.top =  top
	}
	
	function set_scroll_area(obj_name, obj_container_name, interval)
	{
		var content_obj = document.getElementById(obj_name)
		content_obj.onmouseover = function()
		{
			stop_area_scrolling = true
		}
		content_obj.onmouseout = function()
		{
			stop_area_scrolling = false
		}
		
		cmd = "scroll_area('" + obj_name + "', '" + obj_container_name + "')";

		window.setInterval(cmd, interval);
	}