// JavaScript Document
var errico="<font size='3px' color='#FF0000'>*</font>";

function ltrim(s){
   return s.replace(/^\s+/, "");
}

function rtrim(s){
   return s.replace(/\s+$/, "");
}