document.write (" 19942 ");