document.write (" 6872 ");