function swapImage(img_name,append) {
	if (append == 1)
		document[img_name].src='images/'+img_name+'_on.gif';
	else
		document[img_name].src='images/'+img_name+'.gif';
}