document.write ("<a href='javascript:history.back(-1)' class='sidelink'>Back</a> | <a href='#top' class='sidelink'>Top</a> | <a href='/products' class='sidelink'>Products</a> | <a href='/organization' class='sidelink'>Organization</a> | <a href='/philosophy' class='sidelink'>Philosophy</a> | <a href='/publications' class='sidelink'>Publications</a> | <a href='/partners' class='sidelink'>Partners</a>")