var px_add				= ''
var nav					= new Array()
var hide_nav			= false
var hide_timer			= 100
	
/**
* called on each onLoad
*/
function Init()
{
	// init navigation
	if(document.all){
		nav[0]	= document.all.subnav_prod.style
		nav[1]	= document.all.subnav_service.style
		
		px_add	= 'px'
	}else if(document.layers){
		nav[0]	= document.subnav_prod
		nav[1]	= document.subnav_service
		
	}else if(document.getElementById){
		nav[0]	= document.getElementById("subnav_prod").style
		nav[1]	= document.getElementById("subnav_service").style
		
		if(String(nav[0].top).indexOf('px')==-1){
			px_add = ''
		}else{
			px_add  = 'px'
		}
	}
}

/**
* shows the navigation
*/
function ShowNav(navbar)
{
	if(nav[navbar]){
		HideNav(true)
		
		nav[navbar].visibility 		= 'visible'
		
		hide_nav = false
	}
}

/**
* hide navigation
*/
function HideNav(hideNow)
{
	if((hide_nav)||(hideNow)){
			
		for(i=0;i<nav.length;i++){
			nav[i].visibility = 'hidden'
		}
	}
}

/**
* starts the hide timer
*/
function StartHideNav(n)
{
	hide_nav = true
		
	window.setTimeout("HideNav(false)",hide_timer)
}