document.write('0579\n');