document.write (" 6917 ");