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