function $(id) {

	return document.getElementById(id);

}