var file_name = document.location.href;
var end = (file_name.indexOf("?") == -1) ? file_name.length : file_name.indexOf("?");
var filename = '/js/last_modification_date.js.php?filename=..';
filename=filename.concat(file_name=file_name.substring(file_name.indexOf("synchronica.com/")+15, end));
document.write('<script language="JavaScript" src='+filename+'></script>');