document.write ("10123 ");