/**
 * Javascript Menu Actions
 * $Id: common.js,v 1.1 2006/04/25 23:24:49 mefesto Exp $
 */

function set_image(id, url) {
	var img = document.getElementById(id);
	img.src = url;
}