function menu_over(object) {
 document["menu_"+object].src="thing_1.gif";
}

function menu_out(object) {
 document["menu_"+object].src="thing_0.gif";
}

function write_table_1(title,width) {
 document.write('<table width="'+width+'" border="0" cellspacing="0" cellpadding="0"><tr><td class="main"><img src="title_left2.gif" width="8" height="20"><br></td><td class="title">'+title+'<br><img src="null.gif" width="'+(width-16)+'" height="1"><br></td><td class="main"><img src="title_right2.gif" width="8" height="20"><br></td></tr><tr><td class="main"><img src="null.gif" width="8" height="1"><br></td><td class="mainsmall"><img src="null.gif" width="'+(width-16)+'" height="8"><br>');
}

function write_table_2() {
 document.write('</td><td class="main"><img src="null.gif" width="8" height="1"><br></td></tr></table><img src="null.gif" width="1" height="32"><br>');
}