document.write (" 13940 ");