function $_(ido){
	return document.getElementById(ido);
}