var navcolumn = document.getElementById("navcolumn");
if (navcolumn != null) {
    var navcolumnhtml = navcolumn.innerHTML;
    if (navcolumnhtml.match("archive/was") == null) {
	navcolumn.innerHTML +=
	    "<a href=\"http://java.sun.com/javaone\"><img src=\"http://weblogs.java.net/blog/emcmanus/archive/was2008.gif\"></a>";
    }
}