
  /*
  opens a new window displaying whatever is stored at 'url'
  */
  function open_window(url) { 
    awindow = window.open(
      url, 
      "window", 
      'toolbar=no, location=no, directories=no, status=no, menubar=no, scrollbars=no, resizable=no, width=758, height=485'
    );
  }

  /*
  opens a new window for the funday images
  */
  function open_funday_window(url) { 
    awindow = window.open(
      url, 
      "window", 
      'toolbar=no, location=no, directories=no, status=no, menubar=no, scrollbars=no, resizable=no, width=820, height=625'
    );
  }


  /*
  a quite irrelevant function to draw a set amount of linebreaks 
  */
  function linebreak(lines) {
    for (var i=0; i<lines; i++) 
      document.write('<br />');
  }


  /*
  
  */
  function extract_filename(url) {
    // use this one for the internet
    return (url.substring(url.lastIndexOf("\/")+1,url.lastIndexOf("\.")));
    // and this one locally
    // return (url.substring(url.lastIndexOf("\\")+1,url.lastIndexOf("\.")));
  }
