document.write('0427\n');