document.write (" 3780 ");