/**
* Common client javascript library. Includes common library scripts.
*
* see http://www.javascripttoolbox.com/bestpractices/
*
*/


includeJavascript('scripts/lib/controls.js');
includeJavascript('scripts/lib/cookies.js');
includeJavascript('scripts/lib/formatting.js');
includeJavascript('scripts/lib/navigation.js');
includeJavascript('scripts/lib/pageinit.js');
includeJavascript('scripts/lib/printing.js');
includeJavascript('scripts/lib/utf8.js');
includeJavascript('scripts/lib/wiki.js');


/**
* Add Javascript include file to the html document
*/
function includeJavascript(strFile)
{
   document.write('<script type="text/javascript" language="JavaScript1.3" src="' + strFile + '"></script>');
}