// JavaScript Document
function $(id_elemento) {
	var elemento;
		if(document.getElementById)
			elemento = document.getElementById(id_elemento);
		else
			elemento = document.all[id_elemento];
	return elemento;
}