document.write("3999 ");