function _(id) {
	return document.getElementById(id);
}