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