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