function writeScriptFile(scriptfile)
{
    document.write('<script language=\"javascript\" src=\"');
    document.write(scriptfile);
    document.write('\"></script>');
}

function writeScriptFiles(site_structure)
{
    if (site_structure == null)
        site_structure = "scripts/site_structure.js";

    writeScriptFile("scripts/adt.js");
    writeScriptFile("scripts/math_utils.js");
    writeScriptFile(site_structure);
    writeScriptFile("scripts/layer_utils.js");
    writeScriptFile("scripts/display_engine.js");
}