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