document.write (" 10233 ");