function show_date() {
  document.write('Last update: 05.09.2008');
}