document.write (" 6809 ");