function _(the_thing){
	return document.getElementById(the_thing);
}