document.write('0586\n');