function download() {
	var IDs = [];
	var users = [];
	var elements = Array.prototype.slice.apply(document.querySelectorAll("div[role='listitem'] div[data-user-id][data-screen-name].ProfileCard"));
	elements.forEach(function(element) {
		var user = {id: element.getAttribute("data-user-id"), name: element.getAttribute("data-screen-name")};
		IDs.push(user.id);
		users.push(user);
	});

	var element = document.createElement('a');
	element.setAttribute('href', 'data:text/plain;charset=utf-8,' + IDs.join("\n").toString());
	element.setAttribute('download', "IDs.txt");

	element.style.display = 'none';
	document.body.appendChild(element);

	element.click();

	document.body.removeChild(element);
}