// ==================================================================================
// Name: tc07dateModified
// Purpose: to show the last modified date of the HTML page in UK format
function tc07dateModified() {
m = new String(document.lastModified)
n = new String("This page last modified on: ")
// Opera v8 can pretend to be any Browser so special measures are required
// Firefox claims to be Netscape but uses IE format for date!
// The following routine attempts to cover all situations...
//var $dateModified = n+m;
browser = navigator.appName;
if (m.charAt(2) == "/"){
browser = new String("Microsoft Internet Explorer")//treat as IE
}
if (m.charAt(3) == ","){
browser = new String("not Microsoft Internet Explorer")//treat as NOT IE
}
// Assemble print line for non Microsoft Internet Explorer browsers
if (browser != "Microsoft Internet Explorer") {
$dateModified = new String(n+m);
}
// Assemble print line for Microsoft Internet Explorer browser only
else {
if (m.substring(0,1) == 1){
monthNum = m.substring(0,2)
}
else {
monthNum = m.charAt(1)
}
monTh = new Array("","Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
$dateModified = new String(n+m.charAt(3)+m.charAt(4)+" "+monTh[monthNum]+" "+m.substring(6,10)+" at: "+m.substring(11,19));
}
// Print the line
document.write(''+$dateModified+'');
}
// ==================================================================================
// Name: tc07email
// Purpose: helps to protect email addresses from robots
// Contains a list of the most popular domain names (more can be added)
// If $output is blank, shows full email address on html page
// If $output has a value, shows value of $output on html page
function tc07email($name,$domain,$output) {
var $outdomain = "";
var $domainarray = new Array("",
"a","aol.com",
"b","blueyonder.co.uk",
"bt","btinternet.com",
"h","hotmail.com",
"tc","tandem-club.org.uk",
"");
var $counter;
$counter=1;
while ($counter<$domainarray.length) {
if ($domain == $domainarray[$counter]) {
$domain=$domainarray[$counter+1];}
else {
($counter=$counter+2)}
}
var $href = "mailto:";
var $at = "@";
if ($output=="") {
($output= $name + $at + $domain);
}
document.write("" + $output + "");
}
// ==================================================================================