document.write(" $\"BOB\"$ ");