document.write(' 3999 ');