function highlight(img) 	{ document[img].src = "menu/" + img + "_on.jpg"; }
function unhighlight(img) 	{ document[img].src = "menu/" + img + "_off.jpg"; }