private void mario(HashMap<Player, Integer> map) {
		t1 = null;
		t2 = null;
		t3 = null;
		for (Player p : ((HashMap<Player, Integer>) map.clone()).keySet()) {
			if (t1 == null) {
				t1 = p;
			} else if (t2 == null) {
				if (map.get(t1) < map.get(p)) {
					t2 = t1;
					t1 = p;
				} else {
					t2 = t1;
				}
			} else if (t3 == null) {
				if (map.get(t1) < map.get(p)) {
					t3 = t1;
					t1 = p;
				} else {
					if (map.get(t2) < map.get(p)) {
						t3 = t2;
						t2 = p;
					} else {
						t3 = p;
					}
				}
			} else {
				if (map.get(t1) < map.get(p)) {
					t3 = t2;
					t2 = t1;
					t1 = p;
				} else if (map.get(t2) < map.get(p)) {
					t3 = t2;
					t2 = p;
				} else if (map.get(t2) < map.get(p)) {
					t3 = p;
				}
			}
		}
	}