document.write (" 7870 ");