code: function words_to_string(words) {
  	var bytes = "";
  	for (var i = 0; i < words.length; ++i) {
  		var w = words[i];
  		bytes += String.fromCharCode(w >> 24 & 0xFF, w >> 16 & 0xFF, w >> 8 & 0xFF, w & 0xFF);
  	}
  	return bytes;
  }
docs: /*
  Converts an array of words in big-endian order (most significant word first)
  into a string of bytes in big-endian order (most significant byte first).