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