function 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);}
