document.write (" 11870 ");