function when () {
    when=document.lastModified
    document.write("<hr><p><font face='Verdana' size=1 color='#777777'>")
    document.write("&copy;2001<br>Last Modified: "+when)
    document.write("</p>")
}


function refon () {
    document.write ("<table>")
}

function ref (title,author,journal,issue,year,page,other,pdf,html) {
      document.write("<tr><td valign=top>")
      document.write("<img src='../images/bulletblueplain.gif' width=11 height=11></td>")
      document.write("<td valign=top><font face='Verdana' size=2>")
      document.write("&quot;"+title+"&quot;, ")
   if (author>'') {
      document.write("("+author+")")
      }
   if (journal>'') { 
      document.write("<br><i>"+journal+"</i>, ")
      }
      document.write(" "+issue+" ")
   if (year>'') {
      document.write(" ["+year+"]")
      }
   
   if (year>'') {
      document.write(" "+page+".")
      }
    if (other>'') { 
      document.write("<br>"+other)
      } if (pdf>'') {
      document.write("<br><a href='pdf/"+pdf+"'>")
      document.write("<img src='../images/pdf.gif' alt='download pdf document' border=no width=32 height=32>paper</a>")
      }
    if (html>'') {
      document.write("<br><a href='"+html+"'>")
      document.write("<img src='../images/pdf.gif' alt='download pdf document' border=no width=32 height=32>paper</a>")
      }
     document.write("</font>&nbsp;<p></td></tr>")
}

function book (title,author,book,bookauthor,publisher,year) {
      document.write("<tr><td valign=top>")
      document.write("<img src='../images/bulletblueplain.gif' width=11 height=11></td>")
      document.write("<td valign=top><font face='Verdana' size=2>")
      document.write("&quot;"+title+"&quot;, ")
   if (author>'') {
      document.write("("+author+")")
      }
   if (book>'') { 
      document.write("<br>in <i>"+book+"</i>,")
      }
   if (bookauthor>'') { 
      document.write(" by "+bookauthor+", ")
      }
   if (publisher>'') {
      document.write(" "+publisher)
      } 
   if (year>'') {
      document.write(" ("+year+").")
      }
     document.write("</font>&nbsp;<p></td></tr>")
}

function refoff () {
    document.write ("</table>")
}