document.write (" 6994 ");