// JavaScript Document
var arNewImgPath = new Array("images/navi/sub_company-on.gif",
							 "images/navi/sub_whatwedo-on.gif",
							 "images/navi/sub_staff-on.gif",
							 "images/navi/sub_contact-on.gif",
							 "images/navi/sub_events-on.gif",
							 "images/navi/sub_news-on.gif",
							 "images/navi/navi_home-on.jpg",
							 "images/navi/navi_about-on.jpg",
							 "images/navi/navi_service-on.jpg",
							 "images/navi/navi_press-on.jpg",
							 "images/navi/navi_products-on.jpg",
							 "images/navi/navi_jobs-on.jpg",
							 "images/navi/navi_contact-on.jpg",
							 "images/navi/sub_thermblock-on.gif",
							 "images/navi/sub_abmelt25-on.gif",
							 "images/navi/sub_abmelt10-on.gif",
							 "images/navi/sub_tac21-on.gif",
							 "images/navi/sub_carboner-on.gif",
							 "images/navi/sub_emulsion-on.gif");

var arNewImgObj = new Array();
        function myPreloadImages()
        {
		for(var i = 0; i < arNewImgPath.length; i++)
		{
			arNewImgObj[i] = new Image();
			arNewImgObj[i].src = arNewImgPath[i];
		}
        }
	
	function myImageSwap(strImgObjName, strNewImgPath)
	{
		document.images[strImgObjName].src = strNewImgPath;
	}
	function selectfont(titlesize){  
 if(!document.styleSheets) return;
 

 for(var i=0; i<document.styleSheets.length; i++)
  document.styleSheets[i].title == titlesize ?
   document.styleSheets[i].disabled=false : document.styleSheets[i].disabled=true;
}

function jump(selectlist){
	window.open(selectlist, "_top")
}