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