document.write ("10302 ");