// JavaScript Document

document.write('<div id="options">');
document.write('<strong>Jump to...</strong><br><br><a class="mainlink" href="index.htm">First Page</a><br><!--<a class="mainlink" href="thumb_view/index.htm">Thumbnail view</a><br>(jump to any page)<br><br>-->');
document.write('<a class="mainlink" href="s025.htm">Silk Screen</a><br><br>Pixel Paintings:<br><a class="mainlink" href="959.htm">large</a><br><a class="mainlink" href="300.htm">medium</a><br><a class="mainlink" href="_004.htm">small</a><br><br><br><br><br><br></div>');
//document.write('<strong>Contact Info</strong><br>(415) 595-1104<br><a class="mainlink" href="mailto:kevin.fox@foxflare.com">kevin.fox@foxflare.com</a></div>');