// JavaScript Document

function page_include(id, file) {
	var options = {};
	options.method = "get";
	options.asynchronous = false;
	new Ajax.Updater(id, file, options);
}