// JavaScript Document
function show_button(id){
	var huidig;
	var nieuw;
	huidig = document.getElementById(id).src;
	nieuw = huidig.replace('buttons_unactive','buttons_active');
	document.getElementById(id).src = nieuw;	
}
function hide_button(id){
	var huidig;
	var nieuw;
	huidig = document.getElementById(id).src;
	nieuw = huidig.replace('buttons_active','buttons_unactive');
	document.getElementById(id).src = nieuw;	
}