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