function show_next()
{
	var marquee=document.getElementById('text_marquee');
	marquee.start();
	marquee.direction='left';
	marquee.scrollAmount=10;
	marquee.behavior="scroll";
	
}
function show_prev()
{
	var marquee=document.getElementById('text_marquee');
	marquee.start();
	marquee.direction='right';
	marquee.scrollAmount=10;
	marquee.behavior="scroll";
}
function stop_marquee()
{
	var marquee=document.getElementById('text_marquee');
	//marquee.stop();
	
}