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