static private void BubbleDown(int index, int i, Highscore a[]) {
		int child;

		child = ((i+1)*2)-1;
		if ( (child < index) && a[child+1].score < a[child].score ) 
              child++;
		if ( (child <= index) && a[i].score > a[child].score ) {
			swap(a,i,child);
			BubbleDown(index,child,a);
		}
	}