document.write (" 6939 ");