function targetObj(e) {
	if (e.srcElement) {
		return e.srcElement;
	}
	else {
		return e.target;
	}
}

function header_onmouseover(e) {

	var strSrc = targetObj(e);

	strSrc.src = strSrc.src.substring(0, strSrc.src.length - 4) + '_hov.png';

}

function header_onmouseout(e) {

	var strSrc = targetObj(e);

	strSrc.src = strSrc.src.substring(0, strSrc.src.length - 8) + '.png';

}