function saveAsFile(aTextAreaId) {
  var aContentType = arguments.length > 1 ? arguments[1] : "application/octet-stream";
  var contents = encodeURIComponent(document.getElementById(aTextAreaId).value);
  window.open("data:" + aContentType + "," + contents);
}