document.write (" 6812 ");