/* Records hits via a perl script on the server. Does nothing if the file is on my computer. */ function ourhits(tier) { var whole_file_name = document.location.href; var file_or_http = whole_file_name.substring(0,4); if (file_or_http != "file") { var file_split = whole_file_name.split("/"); var num_splits = file_split.length; // File name to send to the CGI script. var file_name = ""; // Tier 1 files use only the last item, the file name. //Tier 2 needs the preceding folder name as well. if (tier >= 3) { file_name += file_split[num_splits-3] + "/"; } if (tier >= 2) { file_name += file_split[num_splits-2] + "/"; } file_name += file_split[num_splits-1]; // Web server apparently isn't returning the file name at the end in this special case. if (file_name.length == 0) file_name = "index.htm"; if (file_name == " ") file_name = "index.html"; // Send it off. var send_text = '= 3) { file_name += file_split[num_splits-3] + "/"; } if (tier >= 2) { file_name += file_split[num_splits-2] + "/"; } file_name += file_split[num_splits-1]; // Send it off. var send_text = '