function trim(s) {
return s.replace(/(^/s*)|(/s*$)/g, "");
}
funciton str()
{
trim(document.getElementById("String").value)//已去掉空格
}
function trim(s) {
return s.replace(/(^/s*)|(/s*$)/g, "");
}
funciton str()
{
trim(document.getElementById("String").value)//已去掉空格
}