function move_pic(name, path) {
	document.getElementById(name).src = path;
}
function show_and_move_pic(name, path) {
	pic = document.getElementById(name);
	pic.style.visibility = "visible";
	pic.src = path;
}
function delay(pic_id, pic_path, t) {
	timer = window.setTimeout("show_and_move_pic('" + pic_id + "', '" + pic_path + "')", t);
	return timer;
}