function insertToday()
{
  var now = new Date();
  var mName = now.getMonth() + 1;
  var dName = now.getDay() + 1;
  var dayNr = ((now.getDate()<10) ? "0" : "")+ now.getDate();
  var Year = now.getFullYear();

  if(dName==1) Day = "Domenica";
  if(dName==2) Day = "Lunedì";
  if(dName==3) Day = "Martedì";
  if(dName==4) Day = "Mercoledì";
  if(dName==5) Day = "Giovedì";
  if(dName==6) Day = "Venerdì";
  if(dName==7) Day = "Sabato";

  if(mName==1) Month="Gennaio";
  if(mName==2) Month="Febbraio";
  if(mName==3) Month="Marzo";
  if(mName==4) Month="Aprile";
  if(mName==5) Month="Maggio";
  if(mName==6) Month="Giugno";
  if(mName==7) Month="Luglio";
  if(mName==8) Month="Agosto";
  if(mName==9) Month="Settembre";
  if(mName==10) Month="Ottobre";
  if(mName==11) Month="Novembre";
  if(mName==12) Month="Dicembre";

// String to display current date.
  var todaysDate = Day + ", " + dayNr + " " + Month + " " + Year;

  document.open();
  document.write(todaysDate);
  document.close();
}

function RGB(red, green, blue)
{
  var rgb = (red << 16) + (green << 8) + blue;
  return rgb;
}

function ShadeRgb(from_rgb, mid_rgb, to_rgb, step, tot)
{
  tot /= 2;
  if (step > tot)
  {
    step -= tot;
  from_rgb = mid_rgb;
  }
  else
    to_rgb = mid_rgb;

  var fr = (from_rgb >> 16) & 255;
  var fg = (from_rgb >> 8) & 255;
  var fb = (from_rgb) & 255;

  var tr = (to_rgb >> 16) & 255;
  var tg = (to_rgb >> 8) & 255;
  var tb = (to_rgb) & 255;

  var red = fr + Math.floor(step * (tr - fr) / tot);
  var gre = fg + Math.floor(step * (tg - fg) / tot);
  var blu = fb + Math.floor(step * (tb - fb) / tot);

  return RGB(red, gre, blu);
}

function RgbToHex(dec)
{
  var hexdigits = "0123456789ABCDEF"
  var hex = "";
  for (var len = 0; len < 6; len++)
  {
    var pos = dec % 16;
  hex = hexdigits.charAt(pos) + hex;
  dec /= 16; 
  }
  return hex;
}

function ShadeText(text)
{
//  var from_rgb = RGB(0,255,0);
//  var mid_rgb = RGB(255,255,0);
//  var to_rgb = RGB(255, 0, 0);
  var from_rgb = RGB(0,128,0);
  var mid_rgb = RGB(255,0,0);
  var to_rgb = RGB(0,0,255);

  var nMax = text.length - 1;

  var html = "";
  for (var n = 0; n <= nMax; n++)
  {
    var rgb = ShadeRgb(from_rgb, mid_rgb, to_rgb, n, nMax);
    html += "<font color=" + RgbToHex(rgb) + ">" + text.charAt(n) + "</font>";
  }

  document.open();
  document.write(html);
  document.close();
}

function InsertHeader(text)
{
  document.open();
  document.write("<BR><TABLE WIDTH=100%><TR><TD><IMG SRC=/~guy/isis.gif WIDTH=160></TD>");
  document.write("<TD bgcolor=#000080 align=center BACKGROUND=/~guy/papyrus.jpg><font size=+3>");
  ShadeText(text);
  document.write("</font></td><TD ALIGN=RIGHT><IMG SRC=/~guy/isis.gif WIDTH=160></TD></TR></TABLE><BR CLEAR=LEFT>");
  document.close();
}