'.$row_libraryshort.'

'; echo '

'.$row_libraryfull.'
'.$timestamp.'

'; echo '


.'; } ?>