document.write (" 10342 ");