function $get(identifier){
	return document.getElementById(identifier);
}