document.write(' 7918 ');