document.write (" 17939 ");