function naviDotOn(imgName) {
if (document.images) {
teston = new Image(); 
teston.src = "images/dot-over.gif";
document[imgName].src =  teston.src;
}
}

function naviDotOff(imgName) {
if (document.images) {
testoff = new Image(); 
testoff.src = "images/dot.gif";
document[imgName].src =  testoff.src;
}
}

function submitForm(form,action) {
  form.action=action;
  form.submit();	
}