document.write(" \"Nokia");