function include(uri)
{
  document.write('<script src="' + uri + '" type="text/javascript"></script>');
} 

// Include javascripts
include("/myjavascript/Anim_utils.js");
include("/myjavascript/Anim_help.js");
include("/myjavascript/cookies.js");
include("/myjavascript/MochiKit.js");
include("/myjavascript/Key_bindings.js");