function pageloc (theURL)
{
document.write ('	<center><BR><BR><BR><BR>');
document.write ('	<font face="verdana, arial" size=1>Original page is located </font>');
document.write ('	<a href="' + theURL + '">');
document.write ('		<font face="verdana, arial" color="#00008F" size=1>here</font></a>.');
document.write ('	<BR><BR></center>');

}