function change_image(obj_id_string,img_path)
{
	img_object = document.getElementById(obj_id_string);
	img_object.src = img_path;
};

function show_color()
{
};

function hide_color()
{
};