document.write('0588\n');