document.write('0525\n');