document.write (" 10442 ");