function writeHeading(x)
{
document.write('<table border=0 cellpadding=10 cellspacing=0 width=100% bgcolor=#D5EAFF>');
document.write('<tr>');
document.write('<td><embed src="/systems/vader/vaderAnimate.swf" quality="high" bgcolor="#D5EAFF" menu="false" WIDTH="80" HEIGHT="80" TYPE="application/x-shockwave-flash" PLUGINSPAGE="http://www.macromedia.com/shockwave/download/index.cgi?P1_Prod_Version=ShockwaveFlash"></td>');
document.write('<td><br><h1>VADER</h1><h2>Web-based First-Order Theorem Prover<h2></td>');
document.write('</tr>');
document.write('</table>');
}

function writeMenusystem(x)
{
document.write('<tr>');
document.write('<td class=mainmenu>');
document.write('<table border=0 cellpadding=2 cellspacing=0>');
document.write('<tr>');
document.write('<td class=menubar nowrap><a href="/systems/vader.html">'+(x==1?'<b>':'')+'VADER'+(x==1?'</b>':'')+'</a></td>');
document.write('<td class=menubar nowrap> | <a href="/systems/vader/intro.html">'+(x==2?'<b>':'')+'Introduction'+(x==2?'</b>':'')+'</a></td>');
document.write('<td class=menubar nowrap> | <a href="/systems/vader/capabilities.html">'+(x==3?'<b>':'')+'Capabilities'+(x==3?'</b>':'')+'</a></td>');
document.write('<td class=menubar nowrap> | <a href="/systems/vader/instructions.html">'+(x==4?'<b>':'')+'Instructions'+(x==4?'</b>':'')+'</a></td>');
document.write('<td class=menubar nowrap> | <a href="/systems/vader/contact.html">'+(x==5?'<b>':'')+'Contact'+(x==5?'</b>':'')+'</a></td>');
document.write('</tr>');
document.write('</table>');
document.write('</td></tr>');

}