/*
 * Basic operations.
 *
 * Fri Aug 25 20:59:56 CEST 2006
 * Fri Apr 16 05:58:44 CEST 2010
 */

var onload_buffer = new Array();

function add_onload(f) {
	return $(f);

	onload_buffer.push(function () {
		return f();
	});
}

function flush_onload() {

	for (var i = 0; i < onload_buffer.length; i++) {
		try {
			onload_buffer[i]();
		} catch (e) {
		}
	}
}

//window.onload = flush_onload;