if(PID!="index.html") document.title = "Реаніматор електронних текстів" + " >> " + String(document.title);

document.writeln("<div style=\"position:absolute; background-color:white; margin-top:-24px; "
+ "margin-left:-21px; font-size:16pt; font-weight:bold;\">РЕАНІМАТОР ЕЛЕКТРОННИХ ТЕКСТІВ&nbsp;</div>");

pages = Array(6,
"головна","index.html",
"база даних","lib.html",
"досьє","dossier.html",
"посилання","links.html",
"форум","forum.html",
"e-mail","mailto:galiciadivision@yahoo.com");

document.write("<div style=\"margin-top:2px; margin-bottom:22px; font-size:10.5pt; font-weight:bold; color:686868;\">");

for(i=1; i<pages[0]*2; i+=2) {
if(pages[i+1]!=PID) document.writeln("<a href=\"" + pages[i+1] + "\">" + pages[i] + "</a>");
else document.writeln(pages[i]);
if(i+2<pages[0]*2) document.writeln("&nbsp;|&nbsp;");
}

document.write("</div>");