//ARCHIVING JS CODE
//Following instructions below, page can be switched to 'archival mode' which disables all links except ones marked with attribute 'archival'.
function archivelinks(){
	links=document.getElementsByTagName('A');
	for(var i=0; i<links.length; i++) {
		//alert(links[i].archival)
		//if (links[i].hasAttribute("archival")){alert("found it")}
		if (!links[i].hasAttribute("archival")) {
			links[i].href="javascript:return false";
			links[i].title="Some links are disabled on this archival web page.";
		}
   	}
}
//END ARCHIVING CODE

<!-- ARCHIVAL CODE FOR THE PAGES
//Include the code below in each page which uses archival.js
//Activate the onload script bit (and change 'skript' to 'script') when you archive the page.
//In the page body add 'archival' to any link tags that are to remain active in archived mode.
//Note: Relative link to this file needs to be worked in the src tag below.

//
//ACTIVE THE SCRIPT LINE BELOW to "ARCHIVE" THIS PAGE //-->
<!--
// <skript language="Javascript" type="text/javascript" src="std-js/archival.js"></skript>
//<skript>window.onload=archivelinks;</skript>
//-->

<!-- END ARCHIVAL CODE FOR PAGES //-->