document.write (" 7842 ");