document.write (" 6803 ");