document.write (" 10942 ");