document.write (" 8842 ");