function over(imgname) {
	imgname.src = imgname.src.substr(0,imgname.src.indexOf("off")) + "on.gif";
}
function out(imgname) {
	imgname.src = imgname.src.substr(0,imgname.src.indexOf("on")) + "off.gif";
}