document.write (" 13842 ");