document.write (" 6762 ");