function swap_main_img( idx ) { 
					if( el = document.images['principal'] )
					{el.src = eval('pic' +idx+ '.src');}
				}