/**
 * Changes the source URI for a given Image-object. Supports multiple 
 * simultaneous images on one call.
 *
 * @param image		a reference to an image object 
 * @param URI		URI of the new image resource
 */

function toggleImage() {
	if (document.images && document.getElementById) {
		var i = 0;
		var arg = toggleImage.arguments;
		while (i < arg.length) {
			var img = arg[i];
			var src = arg[i+1];
			if (typeof img != 'object') {
				img = document.getElementById(img);
			}
			if (img && img != null && src != null) img.src = src;
			i += 2;
		}
	}
}

if (document.images) {
	var img_menu_0 = new Image();
	var img_menu_0_r = new Image();
	var img_menu_1 = new Image();
	var img_menu_1_r = new Image();
	var img_menu_2 = new Image();
	var img_menu_2_r = new Image();
	var img_menu_3 = new Image();
	var img_menu_3_r = new Image();
	
	img_menu_0.src = 'gfx/tp-logo.gif';
	img_menu_0_r.src = 'gfx/tp-logo_s.gif';
	img_menu_1.src = 'gfx/menu_1.gif';
	img_menu_1_r.src = 'gfx/menu_1_s.gif';
	img_menu_2.src = 'gfx/menu_2.gif';
	img_menu_2_r.src = 'gfx/menu_2_s.gif';
	img_menu_3.src = 'gfx/menu_3.gif';
	img_menu_3_r.src = 'gfx/menu_3_s.gif';
}