document.write (" 6857 ");