navaux1on = new Image()
navaux1on.src = "../images/navaux2_solutions_over.gif"
navaux1off = new Image()
navaux1off.src = "../images/navaux2_solutions.gif"

navaux2on = new Image()
navaux2on.src = "../images/navaux2_points_over.gif"
navaux2off = new Image()
navaux2off.src = "../images/navaux2_points.gif"