/*lib.js*/

function get_named_object(nombre) {
	object = document.getElementById(nombre);
	return object;
}

function show_div(object) {
	object.style.display = 'block';
}

function hide_div(object){
	object.style.display = 'none';
}