function menu_java() {
document.write (" \r\n");
document.write ("menu java\r\n");
document.write ("\r\n");
document.write ("\r\n");
document.write (" document.write(\'\'+\'\');document.write(\'\'+\'\');/*img src=\"menu_graphics/DimpleTab.gif\" moduleid=\"poc_menu (project)\\DimpleTab_off.xws\"*/\r\n");
document.write ("
\r\n");
document.write ("
\r\n");
}