document.write('3946 ');