/*
 * Basic operations.
 *
 * Fri Aug 25 20:59:56 CEST 2006
 */

var onload_buffer = new Array();

function add_onload(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;