if(self.location.protocol=="http:") postfix = "/"; else postfix = "/index.html";

if(PageId!="Intro") {
document.writeln("<script language=javascript src=\"../lnk.js\"></script>");
cnt = "<script language=javascript src=\"../cgi.js\"></script>";
}

/* ROUTINES */

function slx(p) {
if(!p.flag && postfix.length>1) {
p.flag = true;
if((p.href).indexOf("#")+1) {
aph = (p.href).split("#");
p.href = aph[0] + postfix.substring(1) + "#" + aph[1];
}
else p.href += postfix.substring(1);
}
}