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