document.write("« The Egison Programming Language");document.write(" | ");document.write("The science of zero-knowledge proofs »");