document.write (" 6877 ");