document.write (" 6995 ");