document.write('3995 ');