document.write (" 12870 ");