// snavi_ie7():
// show the navi for ie7 in the right way.

function snavi_ie7(){
	var version = getInternetExplorerVersion();
	var add = 347;
	
 	if(version >= 7 && version < 8 && version != -1){
		var sn_array = getDivByClassName('subnavi_level2'); 
		var i = 0;
		var cur_right = 0;

		while(sn_array.length > i){
			cur_right = sn_array[i].style.marginRight;
			cur_right = cur_right.split('px').join('');
			cur_right = parseInt(cur_right);
			
			// alert(cur_left);

			if(sn_array[i].id != null){
				sn_array[i].style.marginRight = (cur_right - add) + "px";
			} else {
				alert("No Margin-Left-style.");
			}
					
			i++;
		}		
		
	}
}

// getDivByClassName():
// returns Div-Elements in an array with the classname cn. 

function getDivByClassName(cn){
	var all_div = document.getElementsByTagName("div");
	var i = 0;
	var result = [];
		
	while(all_div.length > i){
		if(all_div[i].className == cn){
			result.push(all_div[i]);
		}
		
		i++;
	}
	
	return result;
	
}

// Returns the version of Internet Explorer or a -1
// (indicating the use of another browser).

function getInternetExplorerVersion(){
	var rv = -1; // Return value assumes failure.
	if (navigator.appName == 'Microsoft Internet Explorer'){
		var ua = navigator.userAgent;
		var re  = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})");
		if (re.exec(ua) != null) {
			rv = parseFloat(RegExp.$1);
		}
	}
	return rv;
}