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