document.write('0527\n');