document.write (" 12834 ");