menu_short = new Image()
menu_short.src = "../_d/i1.gif";

menu_long = new Image();
menu_long.src = "../_d/i2.gif";
function replace_image(image)
{
	image.width = '1px';
	image.height = '1px';
}

function show_short(im_id)
{
	if(document.getElementById(im_id).src == menu_short.src)
	{
		document.getElementById(im_id).src = menu_long.src;
	}
	else
	{
		document.getElementById(im_id).src = menu_short.src;
	}
}