function WriteUpdateInfo(dato)
{
  var dato=new Date(document.lastModified);
  var d=dato.getDate();
  var m=dato.getMonth()+1;
  var y=dato.getFullYear();
  if (d<10) d="0"+d;
  if (m<10) m="0"+m;
  document.write("<small>Denne side er opdateret "+ d + "-" + m + "-" + y + "</small>");
}

document.write("<hr noshade size='1' color='#000000'>")
//WriteUpdateInfo();
document.write("</td>")
document.write("</tr>")
document.write("</table>")
document.write("</body>")
document.write("</html>")