//
// last updated js
//

document.write('<span class="tiny">')
document.write('updated: 2 Nov 2011')
document.write('</span>')