document.write (" 10234 ");