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