function z(input) {
   var x = '';
   var y = 'lto';
   var z = 'mai';
   for (var i=(input.length - 1); i>=0; i--) {
      x += input.charAt(i);
   }
   z += y;
   z += ':';
   z += x;
   return (z);
}