// This code generates the html
//     for the right side menu 
//     used on several pages.
document.write('					</td>');
document.write('				</tr>');
document.write('			</table>');