document.write (" 9945 ");