document.write("« The Java type system is broken");document.write(" | ");document.write("The Rise and Fall of a Kremlin Troll »");