document.write("« A Line in the Sand");document.write(" | ");document.write("BSD socket API revamp »");