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