document.write('0532\n');