// JavaScript Document
var src;

function change_img(id,img_src){
	img=document.getElementById(id);
	img.src=img_src;
	}
function hide_menu(id){
		m=document.getElementById(id);
		m.style.display="none";
	}
function display_menu(id){
		m=document.getElementById(id);
		m.style.display="inline";
	}