//..... ..... ..... .....add last modified note to rLastModV div of web page, in a Euro-centric style

  function _addMod ()
  {
    if (Date.parse(document.lastModified)!=0)
    {
      var _d=document.lastModified;
      var _split=_d.match(/(\d\d)\/(\d\d)\/(\d\d\d\d)\s(.+)/);
      var _month=["Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
      var _reformatD=_split[4]+" "+_split[2]+" "+_month[_split[1]-1]+" "+_split[3];
      var _t=document.createTextNode("Page last modified: "+_reformatD);
      document.getElementById("rLastModV").appendChild(_t);
    };
    return;
  };

  //..... ..... ..... .....end/