//
// last updated js
//

document.write('<span class="tiny">')
document.write('updated: 8 July 2010')
document.write('</span>')