// JavaScript Document
function highlight(id){
	id.src="images/buttons/" + id.name + "hi.jpg";	
}
function unhighlight(id){
	id.src="images/buttons/" + id.name + ".jpg";
}