/*
** This function is called from onload so that it can
** prefetch images to be displayed.
** ARGS:
** The list of images to fetch.
*/
function preload_images()
{
	var args = preload_images.arguments;
	var nargs = args.length; // number of arguments
	
	// Early return
	if (nargs == 0 || nargs > 10)
		return;
		
	// Load on images to fetch
	for (i=0 ; i < nargs ; i++)
	{
		var image = new Image;
		image.src = args[i];
	}
}


/*
** This function shows the image 
** IE does not recognize document.targetimage
*/
function show_image(img, legendtext)
{
	var doc = document;
	var legend;

	/* Early return */
	if (!document.images['targetimage'])
		return;

	/* Display the image */
	document.images['targetimage'].src = img;
	
	/* Add legend as alternate 
	** TODO: Remove html tags
	if (legendtext)
		document.images['targetimage'].alt = legendtext;
	*/
	
	/* Display the legend */
    legend = document.getElementById('picturerightlegend');
	if (legendtext)
		legend.innerHTML = legendtext;
	else
		legend.innerHTML = '';
}