http_ident=0;
function quick_ajax_hit (url) {
	http_ident++;
	http[http_ident] = getHTTPObject();
	http[http_ident].open("GET", url, true);
	http[http_ident].send(null);
}

function show_popup (title, text, buttons) {
	// Grab elements
	popup = document.getElementById('popup');
	dialog = document.getElementById('popup_dialog');
	p_title = document.getElementById('popup_dialog_title');
	p_text = document.getElementById('popup_dialog_text');
	p_buttons = document.getElementById('popup_dialog_buttons');

	// If the elements don't exist, make them!
	if (!popup) {
		popup = document.createElement('div');
		popup.setAttribute('id', 'popup');
		document.getElementsByTagName('body').item(0).appendChild(popup);

		dialog = document.createElement('div');
		dialog.setAttribute('id', 'popup_dialog');
		document.getElementsByTagName('body').item(0).appendChild(dialog);

		p_title = document.createElement('b');
		p_title.setAttribute('id', 'popup_dialog_title');
		dialog.appendChild(p_title);

		p_text = document.createElement('div');
		p_text.setAttribute('id', 'popup_dialog_text');
		dialog.appendChild(p_text);

		form = document.createElement('form');
		form.setAttribute('method', 'post');
		dialog.appendChild(form);

		p_buttons = document.createElement('div');
		p_buttons.setAttribute('id', 'popup_dialog_buttons');
		form.appendChild(p_buttons);

	}

	popup.style.height = Math.max(document.body.scrollHeight,document.body.clientHeight) + 'px';

	// Set text and buttons
	p_title.innerHTML = title;
	p_text.innerHTML = text;
	p_buttons.innerHTML = buttons;
	
	// Display the dialog
	popup.style.display = 'block';
	dialog.style.display = 'block';
	scroll(0,0);
}

function hide_popup () {
	// Grab elements
	popup = document.getElementById('popup');
	dialog = document.getElementById('popup_dialog');
	popup.style.display = 'none';
	dialog.style.display = 'none';
	// In case it gets overridden:
	document.getElementById('popup_dialog').style.padding = '30px';
}

function make_button (title, callback) {
	return '<input type="button" value="'+title+'" onClick="'+callback+'">';
}