function show_popup() {
	document.getElementById('menu-popup').style.display='block';
}

function close_popup() {
	document.getElementById('menu-popup').style.display='none';
}

function cl(num) {
	document.getElementById('sel'+num).className="";
}

function update_img(path, name, num) {
	document.getElementById('proj-img').src=path+"/images/projects/"+name+"_0"+num+".jpg";
	document.getElementById('sel'+num).className="selected-pic";
}