document.write("3107 ");