function imagereplace() {
	var str_pathname = (window.location.pathname);
	var str_place = str_pathname.substring(0,(str_pathname.lastIndexOf('.nsf')+5));

	for( i=0; i<document.images.length ; i++ ) {
		if( document.images[i].src.indexOf('expand.gif') != -1) { 
			document.images[i].src = str_place + 'web_expand.gif?OpenImageResource'
		} 
		if( document.images[i].src.indexOf( 'collapse.gif' ) != -1) { 
			document.images[i].src = str_place + 'web_collapse.gif?OpenImageResource'
		}
	} 
}
function UserTime(str_datetime) {
	erg = str_datetime.split(/;/);
	var yyyy = erg[0];
	var mm   = eval(erg[1] - 1);
	var dd   = erg[2];
	var hh   = erg[3];
	var min  = erg[4];
	var obj_date = new Date(yyyy, mm, dd, hh, min);
	obj_date = chgTimeZoneDateTime(obj_date);
	if ( timeformat == "2") {
		// german datetime format
		var str_ret = DateTimeToStringDE(obj_date);
	} else {
		// else use english datetime format
		var str_ret = DateTimeToStringEN(obj_date);
	}	
	return(str_ret);
}
function head(str_key) {
	erg = str_key.split(/~/);
	var en = erg[0];
	var de = erg[1];
	var width = erg[2];
	ret = (language == "DE")?erg[1]:erg[0];
	document.write ('<SPAN class="vwTH" style="width=' + width + '">' + ret +'<SPAN>');
}
function chgTimeZoneDateTime(obj_datetime) {
	var tz = timezone.split(/~/);
	var currentHours = obj_datetime.getHours();
	var newHours = currentHours + eval(tz[1] * 1);
	var obj_retDatetime = obj_datetime;
	obj_retDatetime.setHours(newHours);
	return (obj_retDatetime);
}
/* returnvalue as string */
function DateTimeToStringEN(obj_date) {
	var dd   = obj_date.getDate();
	var mm   = obj_date.getMonth() + 1;
	var yyyy = obj_date.getFullYear();
	var hh   = obj_date.getHours();
	var min  = obj_date.getMinutes();
	if (mm < 10) {
		str_datetime = "0" + mm
	} else {
		str_datetime = "" + mm;
	}
	if (dd < 10) {
		str_datetime = str_datetime + "/0" + dd
	} else {
		str_datetime = str_datetime + "/" + dd;
	}
	str_datetime = str_datetime + "/" + yyyy + " ";
	if (hh < 10) {
		str_datetime = str_datetime + "0" + hh
	} else {
		str_datetime = str_datetime + hh;
	}
	if (min < 10) {
		str_datetime = str_datetime + ":0" + min
	} else {
		str_datetime = str_datetime + ":" + min;
	}
	return(str_datetime);
}
/* returnvalue as german formated string */
function DateTimeToStringDE(obj_date) {
	var dd   = obj_date.getDate();
	var mm   = obj_date.getMonth() + 1;
	var yyyy = obj_date.getFullYear();
	var hh   = obj_date.getHours();
	var min  = obj_date.getMinutes();
	if (dd < 10) {
		str_datetime = "0" + dd;
	} else {
		str_datetime = "" + dd;
	}
	if (mm < 10) {
		str_datetime = str_datetime + ".0" + mm
	} else {
		str_datetime = str_datetime + "." + mm
	}
	str_datetime = str_datetime + "." + yyyy + " ";
	if (hh < 10) {
		str_datetime = str_datetime + "0" + hh
	} else {
		str_datetime = str_datetime + hh;
	}
	if (min < 10) {
		str_datetime = str_datetime + ":0" + min
	} else {
		str_datetime = str_datetime + ":" + min;
	}
	return(str_datetime);
}