var inter;
	
	function unhighlight() {
		inter = setInterval('_unhighlight()', 500);
	}
	
		function _unhighlight() {
			document.getElementById('platform').src = '/2002/images/nav/topnav_choosePlatform.gif';
		}


	function highlight(imgName) {
		clearInterval(inter);
		
		switch(imgName) {
		
			case 'wii':
			document.getElementById('platform').src = '/2002/images/nav/topnav_choosePlatform_wii.gif';
			break;
			
			case 'ds':
				document.getElementById('platform').src = '/2002/images/nav/topnav_choosePlatform_ds.gif';
			break;
			
			case 'cube':
				document.getElementById('platform').src = '/2002/images/nav/topnav_choosePlatform_cube.gif';
			break;
			
			case 'gameboy':
				document.getElementById('platform').src = '/2002/images/nav/topnav_choosePlatform_boy.gif';
			break;
		}
	}