function change_picture(fromId, toId) {
	document.getElementById(toId).src = document.getElementById(fromId).src;
}