document.write (" 13945 ");