/**
	std_lib.js

	Standard, site-wide Javascript library
**/

function killChildren ( obj ) {
	while ( obj.hasChildNodes() ) {
		obj.removeChild ( obj.lastChild );
	}
}


function addLoadEvent(func) {
	var oldonload = window.onload;
	if (typeof window.onload != 'function') {
		window.onload = func;
	} else {
		window.onload = function() {
			oldonload();
			func();
		}
	}
}

function pause(ms) {
	// a pause function - used for testing & debugging only
	var date = new Date();
	var curDate = null;
	do {
		curDate = new Date();
	} while ( curDate - date < ms );
}