function rev(text) { return Array.from(text).reverse().join(""); }