/*
URL jump box
By JavaScript Kit (http://javascriptkit.com)
Over 200+ free scripts here!
*/

function jumpit1(){
window.location=document.industry.industry2.value
return false
}