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