document.write(" \t \"\"\n");