function get_by_idl (n) {
	if (document.getElementById) return document.getElementById (n);
	else if (document.all) return document.all[n];
	else return false;
}