function bar() { str = " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += "

\n"; str += " $\"Virtual$ \n"; str += "
\n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += " \n"; str += "	\n"; str += " \n"; str += " \n"; str += "	\n"; str += " Navigation \n"; str += "	\n"; str += " \n"; str += " \n"; str += " \n"; str += "

\n"; return(str); }