// write document info script

<!--
	document.write("Document: " + document.location);
// -->