// JavaScript Document
ajaxGet = function(element,file) {
	var ajax = new Ajax();
	var handler = function(str) { document.getElementById(element).innerHTML = str; }
	ajax.doGet(file,handler);
}
ajaxPost = function(element,formname,file) {
	var form = document.getElementById(formname);
	var ajax = new Ajax();
	var handler = function(str) {
		document.getElementById(element).innerHTML = str;
	}
	var formData = '';
	var ajax = new Ajax();
	formData = formData2QueryString(form);
	ajax.doPost(file, formData, handler);
}