function stop_run(){

		document.all.markme.stop();

	}

	function continue_run(){

		document.all.markme.start();

	}



	function rand_pics (){

		var random = Math.random() ;

		var picnum = Math.round(random*12)+1;

		document.getElementById('pic_div').innerHTML='<img src=/view/en/default/images/banner'+picnum+'.jpg>';

	}



        function rand_pics_new (){

		var random = Math.random() ;

		var picnum = Math.round(random*12)+1;

		document.getElementById('pic_div').innerHTML='<img src="/view/en/default/images/banner'+picnum+'.jpg" width="950" height="134">';

	}