document.write(" \"Verizon");