// temporary file to load javascripts from src/ directory
document.write(unescape("%3Cscript src='/javascript/src/00_base.js' type='text/javascript'%3E%3C/script%3E"));
document.write(unescape("%3Cscript src='/javascript/src/01_twitter-widget.js' type='text/javascript'%3E%3C/script%3E"));