document.write('01236');