document.write(' 4918 ');