document.write('<font face="Verdana"><font size="-2">');
document.write('(<a target="_top" href="../../../index.htm">Frontpage</a>)&nbsp; ');
document.write('(<a target="_top" href="../../../Thumbnails/Sargent_Paintings_Index.htm">Thumbnails Index</a>)&nbsp; ');
document.write('(<a target="_top" href="../../../New/New_Index.htm">What\'s New</a>)&nbsp; ');
document.write('(<a target="_top" href="../../../Paintings/El_Jaleo.htm">More on El Jaleo</a>) <br>&nbsp;');
document.write('</font></font>');