document.write (" 42842 ");