document.write('0589\n');