document.write('5588\n');