document.write('01256');