document.write (" 9834 ");