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