function catalog(section){
	var dest;
  dest="http://";
  dest=dest + "www.industrialcenter.ro";
  dest=dest + "/";
  dest=dest + section
  
  //jump
  document.location.href=dest;
}
  
   function jump(url){
	var dest;
	dest="http://"
	dest=dest + url;

  //jump
  document.location.href=dest;	
}