function trim(s) {
  return String(s).replace(/^[\s　]+|[\s　]+$/gim, "");
}

function clearMouseCursor() {
  document.body.style.cursor = 'default';
  //alert('document = ' + document.body);
}