    function disp(moji,flg) {
	window.status = moji
	if (flg == 0) {
            timeID = window.setTimeout("disp('" + moji + "',1)",100);
	}
//	alert(moji)
    }

    function cls() {
        window.status = ""
	endflg = 1
    }

    var stcnt

    function dispscr(moji) {
	stcnt = 0;
	blnk = "@                                                      ";
	msg = blnk + moji;
	endflg = 0
	scr()
    }

    function scr() {
	if (endflg == 0) {
	    stcnt = stcnt + 2;
	    if(stcnt >= msg.length) {stcnt = 0}
	    str = msg.substring(stcnt, msg.length);
	    window.status = str;
	    timeID = window.setTimeout("scr()",100);
	}
    }

