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