function get_el(id) { return document.getElementById(id); }

    var banner_stop = false;

	function bannerscrollOnStart()
	{
		if ( banner_stop ) d = 1,5 ; else d = 4;
		el = get_el("lenta");
		x = parseInt(el.style.marginLeft);
		if ( x <= -630 ) x = 0;
		el.style.marginLeft = ( x - d )+"px";
	}

	function stop() { banner_stop = true; }

	function start() { banner_stop = false; }