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