document.write(' 11750 ');