document.write(' 3918 ');