document.write('02534');