function isEmpty(s){return ((s == null) || (s.length == 0))}