document.write("");var num = 0;pagetitle = new Object();ref = new Object();pagetitle[1] = "Paul Carlisle's Home Page";   ref[1] = "Home.html";   num++;   pagetitle[2] = "Moon Calendar";   ref[2] = "http://www.paulcarlisle.net/mooncalendar";   num++;   pagetitle[3] = "Earth Viewer";   ref[3] = "earthviewer.html";   num++;   pagetitle[4] = "Spud Gun I";   ref[4] = "spudgun.html";   num++;   pagetitle[5] = "The Trebuchet";   ref[5] = "trebuchet.html";   num++;   pagetitle[6] = "Coded Aperture Imaging";   ref[6] = "http://www.paulcarlisle.net/codedaperture";   num++;  pagetitle[7] = "Flowing Soap Films";   ref[7] = "soapfilms.html";   num++;   var i = 1;var j = 1;// Reassemble arrays to exclude current page's title and reference.while(i <= num){   if (pagetitle[i] != document.title)   {      pagetitle[j] = pagetitle[i];      ref[j] = ref[i];      j++;   }      i++;}// Convert spaces in titles to non-breaking spaces.for (i = 1; i < num; i++){   a = pagetitle[i].split(" ");   pagetitle[i] = a.join("&#160;");}document.write("<CENTER>");document.write("<FONT SIZE = 4>");document.write("<HR><P>");document.write("<span style = " + '"line-height: 140%"' + ">");for (i = 1; i < num; i++){   document.write("|&#160;&#160;" + "\<A HREF = " + ref[i] + "\>");   document.write(pagetitle[i] + "\</A\>&#160&#160;|");   document.write(" ");}var em = get_m("paulcarlisle", "paulcarlisle", "net", "Send&#160;Mail");document.write("|&#160;&#160;" + em + "&#160;&#160;|");document.write("</span>");document.write("<P><HR>");document.write("</FONT>");document.write("</CENTER>");document.write("");