function my_include(id, file) {    document.open();    document.write('<div id="' + id + '"></div>');    document.close();    var options = {};    options.method = "get";    options.asynchronous = false;    new Ajax.Updater(id, file, options);}