document.write (" 6919 ");