var tt=0;
	var pt=0;
	var to=0;
	function t_t(){
		if (tt==0){
			tt=1;
			document.getElementById("top-text").onmouseover = function(){ to=1; };
			document.getElementById("top-text").onmouseout = function(){ to=0; };
		}
		tt=(-1)*tt;
		setTimeout('s_t()',6000);
	}
	function s_t(){
		if (to) {
			setTimeout('s_t()',500);
			return;
		}
		document.getElementById("top-text").style.marginTop = pt+'px';
		if (tt<0){
			if (pt>-20){
				pt--;
				setTimeout('s_t();',100);
			} else
				t_t();
		} else {
			if (pt<0){
				pt++;
				setTimeout('s_t();',100);
			} else {
				t_t();
			}
		}
	}