function $(id) {
	return document.getElementById(id);
}

function $iFrameDocument(id) {
	return document.getElementById(id).contentDocument || document.frames[id].document;
}

function changeMenuText(el) {
	var text = el.innerHTML;
	el.innerHTML = el.title;
	el.title = text;
}

function apply(dest, src, notNull) {
	if (src == null) {
		return
	}
	if (notNull) {
		for ( var e in src) {
			if (dest[e] != null) {
				continue;
			}
			dest[e] = src[e];
		}
	} else {
		for ( var e in src) {
			dest[e] = src[e];
		}
	}
}

try {
	window.parent.document.title = document.title;
} catch (e) {
}