document.write (" 12842 ");