//Image Flipper
// Copyright Jon Lazar, 2007

function flip_button_on(id) {
	var button = document.getElementById(id);
	button.src = "/forums/images/buttons/"+id+"_on.gif";
}

function flip_button_off(id) {
	var button = document.getElementById(id);
	button.src = "/forums/images/buttons/"+id+".gif";
}