// event handler
function changeimage(name,img) {
	document.getElementById(name).src=img
}


// preload images
btn_coverage=new Image()
btn_coverage.src="img/btn_coverage_on.gif"

btn_request=new Image()
btn_request.src="img/btn_request_on.gif"

btn_services=new Image()
btn_services.src="img/btn_services_on.gif"

nav_available_equipment=new Image()
nav_available_equipment.src="img/nav_available_equipment_on.gif"

nav_contact=new Image()
nav_contact.src="img/nav_contact_on.gif"

nav_coverage=new Image()
nav_coverage.src="img/nav_coverage_on.gif"

nav_home=new Image()
nav_home.src="img/nav_home_on.gif"

nav_licensed=new Image()
nav_licensed.src="img/nav_licensed_on.gif"

btn_services=new Image()
btn_services.src="img/btn_services_on.gif"

nav_staff=new Image()
nav_staff.src="img/nav_staff_on.gif"

btn_print=new Image()
btn_print.src="img/btn_print_on.gif"

btn_email=new Image()
btn_email.src="img/btn_email_on.gif"