function $(elem) {
	return document.getElementById(elem);
}