document.write (" 9871 ");