var $=function(value) {
	//alert('getting ' + value + ' from the DOM');
	
	return document.getElementById(value);
}