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