// JavaScript Document

//window.alert("Diese Datei: " + document.URL);