document.write (" 13942 ");