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