document.write (" 3800 ");