// *** DATE STAMP FUNCTION (Change variable names to your language) ***

function dateStamp () {
  var yourDate = new Date();
  var daysNames = ['Domingo','Lunes','Martes','Miércoles','Jueves','Viernes','Sábado']; // CHANGE DAY NAMES TO YOUR LANGUAGE
  var monthNames = ['Enero','Febrero','Marzo','Abril','Mayo','Junio','Julio','Agosto','Septiembre','Octubre','Noviembre','Diciembre']; // CHANGE MONTH NAMES TO YOUR LANGUAGE
  monthDay = yourDate.getDate();
  document.write(daysNames[yourDate.getDay()] + ', ' + monthDay + ' ' + monthNames[yourDate.getMonth()] + ' ' + yourDate.getFullYear() + ' ');
}