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