void settitle1 ()
	{
		String S;
		if (BigTimer)
			S = Global.resourceString("Game_") + GameNumber + ": " + WhiteName
				+ " " + formmoves(WhiteMoves) + " - " + BlackName + " "
				+ formmoves(BlackMoves);
		else S = Global.resourceString("Game_") + GameNumber + ": " + WhiteName
			+ " " + formtime(WhiteTime - WhiteRun) + " "
			+ formmoves(WhiteMoves) + " - " + BlackName + " "
			+ formtime(BlackTime - BlackRun) + " " + formmoves(BlackMoves);
		if (Global.getParameter("extrainformation", true))
			S = S + " " + B.extraInformation();
		if ( !S.equals(OldS))
		{
			if ( !TimerInTitle)
				TL.setText(S);
			else setTitle(S);
			OldS = S;
		}
		if (BigTimer && HaveTime)
		{
			BL.setTime(WhiteTime - WhiteRun, BlackTime - BlackRun, WhiteMoves,
				BlackMoves, B.MyColor);
			BL.repaint();
		}
	}