function $(id){return document.getElementById(id);}
function $$(name){return document.getElementsByName(name);}
function dvisible(id){$(id).style.visibility='visible'}
function dhidden(id){$(id).style.visibility='hidden'}
function dnone(id){$(id).style.display='none'}
function dinline(id){$(id).style.display='inline'}
function dblock(id){$(id).style.display='block'}
function trim(str){return str.replace(/^\s+|\s+$/, '');}
function txaSinSalto(objeto){objeto.value = objeto.value.replace(/\s*[\r\n][\r\n \t]*/g, "");}