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