/* left nav for the publications section */
_page.leftNav["5_4_1"] = new _Item("Papers","/publications/papers.html")
_page.leftNav["5_4_2"] = new _Item("Theses","/publications/theses.html")
_page.leftNav["5_4_3"] = new _Item("Books","/publications/books.html")

/*
<a href="/publications/papers.html"></a>
<a href="/publications/theses.html"></a>
<a href="/publications/books.html"></a>
*/