function $$(id) { return document.getElementById(id); }
function toleft(demo, demo1, demo2, speed, flag) {
    demo = $$(demo); demo1 = $$(demo1); demo2 = $$(demo2);
    demo2.innerHTML = demo1.innerHTML;
    function Marquee() {
        if (demo2.offsetWidth - demo.scrollLeft <= 0) {
		    demo.scrollLeft -= demo1.offsetWidth;
		}
		else {
		    demo.scrollLeft++;
		}
	}
	flag = setInterval(Marquee, speed);
	demo.onmouseover = function () { clearInterval(flag); }
	demo.onmouseout = function () { flag = setInterval(Marquee, speed); }
}