navaux1on = new Image()
navaux1on.src = "images/navaux6_solutions_over.gif"
navaux1off = new Image()
navaux1off.src = "images/navaux6_solutions.gif"

navaux2on = new Image()
navaux2on.src = "images/navaux6_reviewsite_over.gif"
navaux2off = new Image()
navaux2off.src = "images/navaux6_reviewsite.gif"