document.write (" 10123 ");